這是兩個命題：“證明出來但是錯的”和“對的但是證明不出來。”Goedel證的是後者。證不出來，換個係統就好了。

來源: 於 2024-10-31 13:44:00 [舊帖] [給我悄悄話] 本文已被閱讀：次