Godel的不完备定理有条件,如要有基本的运算。但欧氏几何 (Tarski公理系统)不能”定义”自然数。
本帖于 2023-12-27 15:06:34 时间, 由普通用户 youdecide 编辑
所有跟帖:
•
谢谢。有时间再琢磨:)
-JSL2023-
♂
(0 bytes)
()
12/28/2023 postreply
20:45:12