因为证明的方法很天才。但确实对数学家影响不大。arithmetic（算术）只是数学里的一个分支，且有标准模型可用。

所有跟帖： 

• 这个标准模型和T N T一样，或复杂到能实老罗的梦想？：）对数学家影响当然不大啊，对哲学家影响大啊，绝对真理有瑕疵：） -JSL2023- ♂ (0 bytes) () 10/31/2024 postreply 15:48:21

• 您可以自己再查一下自然数的标准模型。至于哲学家更没关系了，又基本不牵涉数字，且一阶逻辑是完备的。：） -露重烟微- ♀ (0 bytes) () 10/31/2024 postreply 18:42:00

• 你像是有话没说完一样：）有一阶，有没有二阶？ -JSL2023- ♂ (0 bytes) () 11/01/2024 postreply 09:21:43