文中也說啦，哥同學還有完備定理，一階形邏就可以“自證”。不完備的隻是有些係統，並不是宇宙普適。

來源: 露重煙微 於 2024-10-27 14:55:00 [] [舊帖] [給我悄悄話] 閱讀數 : (0 bytes)

所有跟帖： 

• 是不是普適是關鍵的區別。下次寫，可以從這方麵開始：） -JSL2023- ♂ 給 JSL2023 發送悄悄話 (175 bytes) () 10/27/2024 postreply 15:42:51

請您先登陸，再發跟帖！