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

所有跟帖: 

你像是有话没说完一样:)有一阶,有没有二阶? -JSL2023- 给 JSL2023 发送悄悄话 (0 bytes) () 11/01/2024 postreply 09:21:43

请您先登陆,再发跟帖!