歐氏幾何，非歐幾何如hyperbolic，spherical幾何，可以從平行postulate看，比如spherical

沒有平行線。並且它們surface的curvature很不同。

Tarski 給出個歐式幾何的公理係統，在這上證明了歐氏幾何（first-order theory) 是完備的。

所有跟帖： 

• 那老歌的定理在講什麽 （針對你說的公理體係）？ -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