欧几里德几何(欧式几何)的传统描述是一个公理系统,通过有限的公理来证明所有的“真命题”.
欧几里德几何的五条公理是：
1、任意两个点可以通过一条直线连接.
2、任意线段能无限延伸成一条直线.
3、给定任意线段,可以以其一个端点作为圆心,该线段作为半径作一个圆.
4、所有直角都全等.
5、若两条直线都与第三条直线相交,并且在同一边的内角之和小于两个直角,则这两条直线在这一边必定相交.
其他还有罗氏几何、黎曼几何,合称非欧几何.