Goedel推出某些形逻数学系统不可靠，但数学家又要用这些系统来证明。这是一个类比方便理解。再细的等我周末要有空写个长篇。

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