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

来源: 露重烟微 于 2024-10-27 12:07:00 [] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)
请您先登陆，再发跟帖！