您這個理解比較小眾。

但即使像您這樣理解，也和不完備定理沒有什麽關聯。所有正確的形邏證明都是不變的（最起碼在其公理係統），否則就不叫證明了。

所有跟帖： 

• 關不關聯本身就是無門關啊，你要怎麽證明：） -JSL2023- ♂ (0 bytes) () 10/26/2024 postreply 21:53:13

• 您不是說了嘛，不關聯不用證，關鍵是要證關聯。：） -露重煙微- ♀ (0 bytes) () 10/26/2024 postreply 22:07:00

• 對嘛，我不是一直在問你怎麽征無門關？或者狗有無佛性一類：） -JSL2023- ♂ (0 bytes) () 10/26/2024 postreply 22:09:55

• 說了啊，自相矛盾自動不成立。：） -露重煙微- ♀ (0 bytes) () 10/26/2024 postreply 22:22:00

• 那不正好？我從頭到尾都在問 狗有無佛性 和 Godel有什麽關係：） -JSL2023- ♂ (931 bytes) () 10/26/2024 postreply 22:25:08

• 所以Goedel為啥要費勁編碼，心證即可：不管回答公理係統能不能推出所有定理，您都喪失了自己的佛性。同曲同工，是不是更妙？ -露重煙微- ♀ (0 bytes) () 10/26/2024 postreply 22:50:00

• 你理解反了，你要問老荷為啥要引無門關：已經有了Godel 為啥要引無門關：） -JSL2023- ♂ (130 bytes) () 10/27/2024 postreply 00:28:54

• 1. 更有趣味性 2. “無門關”認為語言不可靠，因為容易形成矛盾，但卻又要依靠語言來傳授知識。 -露重煙微- ♀ (0 bytes) () 10/27/2024 postreply 12:05:00

• Goedel推出某些形邏數學係統不可靠，但數學家又要用這些係統來證明。這是一個類比方便理解。再細的等我周末要有空寫個長篇。 -露重煙微- ♀ (0 bytes) () 10/27/2024 postreply 12:07:00

• 那不就有關聯了嗎？道可道與無門關有什麽不同？別又等大半年：） -JSL2023- ♂ (133 bytes) () 10/27/2024 postreply 15:35:58

• 能類比就叫有關聯？ 那別說半年啦，半生都不夠用。 -露重煙微- ♀ (0 bytes) () 10/27/2024 postreply 17:19:40