小哥必然對是說老羅公理係統有可能錯：）

所有跟帖： 

• 沒有說係統錯，隻是說有一個正確的定理證不出來。 -露重煙微- ♀ (0 bytes) () 10/31/2024 postreply 13:03:25

• ＂可能＂，反正肯定不完備。沒準話是那一級＂絕對＂：） -JSL2023- ♂ (0 bytes) () 10/31/2024 postreply 13:21:50

• 這是兩個命題：“證明出來但是錯的”和“對的但是證明不出來。”Goedel證的是後者。證不出來，換個係統就好了。 -露重煙微- ♀ (0 bytes) () 10/31/2024 postreply 13:44:00

• 你最簡單的正整數係統都搞不定，難道我們邏輯思維比正整數係統還簡單？ -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