但是正整數有標準模型。如果Peano arithmetic theory判斷不了，用標準模型即可。

所有跟帖： 

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

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