形式邏輯不研究邏輯豈非隻剩形式了？不完備性就是說一個封閉係統無法在邊界內自證其全部邏輯性，宇宙普適，不管哥德爾

所有跟帖： 

• 這背後就是說，你可以有，至少理想化上，封閉的物質係統，但不可能有封閉的信息係統，如果硬要定義封閉信息係統，就是無信息 -老鍵- ♂ (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