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

来源: 于 2024-10-31 15:39:00 [旧帖] [给我悄悄话] 本文已被阅读：次