Godel的不完備定理有條件,如要有基本的運算。但歐氏幾何 (Tarski公理係統)不能”定義”自然數。

來源: 2023-12-27 10:49:29 [博客] [舊帖] [給我悄悄話] 本文已被閱讀: