這是兩個命題：“證明出來但是錯的”和“對的但是證明不出來。”Goedel證的是後者。證不出來，換個係統就好了。

所有跟帖： 

• 你最簡單的正整數係統都搞不定，難道我們邏輯思維比正整數係統還簡單？ -JSL2023- ♂ (0 bytes) () 10/31/2024 postreply 13:53:43

• 搞不定是啥意思？ -露重煙微- ♀ (0 bytes) () 10/31/2024 postreply 13:56:00

• 不完備。看見對的證不出：） -JSL2023- ♂ (0 bytes) () 10/31/2024 postreply 14:05:05

• 所以正整數係統裏那個公式看見是對的，但證不出來？：） -露重煙微- ♀ (0 bytes) () 10/31/2024 postreply 14:13:49

• 小哥的＂G ＂不是這樣嗎？ -JSL2023- ♂ (0 bytes) () 10/31/2024 postreply 14:27:44

• 但是正整數有標準模型。如果Peano arithmetic theory判斷不了，用標準模型即可。 -露重煙微- ♀ (0 bytes) () 10/31/2024 postreply 14:59:00

• 不懂你在說什麽：）聽你意思小case一個，隻是好奇為什麽小哥這麽聲名遠揚？ -JSL2023- ♂ (0 bytes) () 10/31/2024 postreply 15:12:48

• 因為證明的方法很天才。但確實對數學家影響不大。arithmetic（算術）隻是數學裏的一個分支，且有標準模型可用。 -露重煙微- ♀ (0 bytes) () 10/31/2024 postreply 15:40:00