大概是罗素悖论证明了Frege对数学逻辑化的失败，而Goedel证明了整个形式逻辑系统都不能作为有些数学公理系统的基础。

来源: 于 2024-10-26 07:08:00 [旧帖] [给我悄悄话] 本文已被阅读：次