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

來源: 露重煙微於 2024-10-31 14:59:00 [舊帖] [給我悄悄話] 本文已被閱讀：次

WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.