文学城论坛
+A-
小
中
大
这个标准模型和T N T一样,或复杂到能实老罗的梦想?:)对数学家影响当然不大啊,对哲学家影响大啊,绝对真理有瑕疵:)
JSL2023
2024-10-31 15:48:21
( reads)
跟帖(2)
露重烟微
2024-10-31 18:42:00
您可以自己再查一下自然数的标准模型。至于哲学家更没关系了,又基本不牵涉数字,且一阶逻辑是完备的。:)
JSL2023
2024-11-01 09:21:43
你像是有话没说完一样:)有一阶,有没有二阶?
露重烟微
2024-10-31 18:42:00您可以自己再查一下自然数的标准模型。至于哲学家更没关系了,又基本不牵涉数字,且一阶逻辑是完备的。:)