但是正整数有标准模型。如果Peano arithmetic theory判断不了，用标准模型即可。

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