那我就是胡乱推测了：）依你看欧式几何和非欧几何祘怎样一种关系？

非欧几何应该在解析几何之前，所以是否数字化应该没有关系。

但是数字化后，是否就可以直接说 象欧式几何这种系统肯定不完备。

你似乎在说 老歌的证明不适用欧式几何，我实际上的确没有真正搞清楚过，恳请指点：）

 

所有跟帖： 

• 欧氏几何，非欧几何如hyperbolic，spherical几何，可以从平行postulate看，比如spherical -youdecide- ♂ (195 bytes) () 12/26/2023 postreply 18:15:07

• 那老歌的定理在讲什么 （针对你说的公理体系）？ -JSL2023- ♂ (84 bytes) () 12/26/2023 postreply 18:58:43

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

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