形式逻辑不研究逻辑岂非只剩形式了？不完备性就是说一个封闭系统无法在边界内自证其全部逻辑性，宇宙普适，不管哥德尔

所有跟帖： 

• 这背后就是说，你可以有，至少理想化上，封闭的物质系统，但不可能有封闭的信息系统，如果硬要定义封闭信息系统，就是无信息 -老键- ♂ (0 bytes) () 10/27/2024 postreply 14:15:44

• 文中也说啦，哥同学还有完备定理，一阶形逻就可以“自证”。不完备的只是有些系统，并不是宇宙普适。 -露重烟微- ♀ (0 bytes) () 10/27/2024 postreply 14:55:00

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

• 是的，只研究逻辑的形式（form)。如果“形式”这个翻译在中文中暗示了只是研究表面，您可以将它想象成是在研究各种结构。 -露重烟微- ♀ (0 bytes) () 10/27/2024 postreply 14:54:00

• 再看了一下，大概您是在谈物理系统？哥同学证明的是数学逻辑系统。完备是有严格定义的概念，和咱们日常用法也是不一样的。 -露重烟微- ♀ (0 bytes) () 10/27/2024 postreply 15:04:00

• 这大概可以回到欧式几何的讨论，严格定义的点和线在我们日常生活是不＂存在＂的，但这门＂数学＂正指导着我们的生活：） -JSL2023- ♂ (0 bytes) () 10/27/2024 postreply 17:01:45