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

来源: 于 2024-10-27 14:55:00 [旧帖] [给我悄悄话] 本文已被阅读：次