不完備。看見對的證不出：）

所有跟帖： 

• 所以正整數係統裏那個公式看見是對的，但證不出來？：） -露重煙微- ♀ (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