欧式几何：欧氏几何公理是欧几里得建立的几个几何公理，也称欧式几何，它的建立，采用了分析与综合的方法，不止是单独一个命题的前提与结论之间的连结，而是所有几何命题的连结成逻辑网路。

非欧氏几何：非欧几里得几何是指不同于欧几里得几何学的几何体系，简称为非欧几何，一般是指罗巴切夫斯基几何(双曲几何)和黎曼的椭圆几何。它们与欧氏几何最主要的区别在于公理体系中采用了不同的平行定理。