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