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

來源: 露重煙微 於 2024-10-27 12:07:00 [] [舊帖] [給我悄悄話] 閱讀數 : (0 bytes)
請您先登陸，再發跟帖！