您可以自己再查一下自然数的标准模型。至于哲学家更没关系了,又基本不牵涉数字,且一阶逻辑是完备的。:)
所有跟帖:
•
你像是有话没说完一样:)有一阶,有没有二阶?
-JSL2023-
♂
(0 bytes)
()
11/01/2024 postreply
09:21:43