Godel的不完备定理有条件,如要有基本的运算。但欧氏几何 (Tarski公理系统)不能”定义”自然数。

来源: 2023-12-27 10:49:29 [博客] [旧帖] [给我悄悄话] 本文已被阅读: