欧氏几何，非欧几何如hyperbolic，spherical几何，可以从平行postulate看，比如spherical

没有平行线。并且它们surface的curvature很不同。

Tarski 给出个欧式几何的公理系统，在这上证明了欧氏几何（first-order theory) 是完备的。