您可以自己再查一下自然数的标准模型。至于哲学家更没关系了，又基本不牵涉数字，且一阶逻辑是完备的。：）

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