那老歌的定理在讲什么 （针对你说的公理体系）？

听起来 非欧几何 只是在说 自洽是依靠对定理的解释：）

所有跟帖： 

• Godel的不完备定理有条件，如要有基本的运算。但欧氏几何 （Tarski公理系统）不能”定义”自然数。 -youdecide- ♂ (0 bytes) () 12/27/2023 postreply 10:49:29

• 谢谢。有时间再琢磨：） -JSL2023- ♂ (0 bytes) () 12/28/2023 postreply 20:45:12