我想用数表示点并不能说欧氏几何不完备。粗略地说,Peano不完备不能说实数系统不完备。
所有跟帖:
• 那我就是胡乱推测了:)依你看欧式几何和非欧几何祘怎样一种关系? -JSL2023- ♂ (341 bytes) () 12/26/2023 postreply 16:24:10
• 欧氏几何,非欧几何如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