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

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

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