文中也说啦，哥同学还有完备定理，一阶形逻就可以“自证”。不完备的只是有些系统，并不是宇宙普适。

来源: 露重烟微 于 2024-10-27 14:55:00 [] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)

所有跟帖： 

• 是不是普适是关键的区别。下次写，可以从这方面开始：） -JSL2023- ♂ 给 JSL2023 发送悄悄话 (175 bytes) () 10/27/2024 postreply 15:42:51

请您先登陆，再发跟帖！