这是两个命题：“证明出来但是错的”和“对的但是证明不出来。”Goedel证的是后者。证不出来，换个系统就好了。

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