Goedel推出某些形邏數學係統不可靠，但數學家又要用這些係統來證明。這是一個類比方便理解。再細的等我周末要有空寫個長篇。

來源: 露重煙微於 2024-10-27 12:07:00 [舊帖] [給我悄悄話] 本文已被閱讀：次

WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.