歐幾里德幾何(歐式幾何)的傳統(tǒng)描述是一個(gè)公理系統(tǒng),通過有限的公理來證明所有的“真命題”.
歐幾里德幾何的五條公理是：
1、任意兩個(gè)點(diǎn)可以通過一條直線連接.
2、任意線段能無限延伸成一條直線.
3、給定任意線段,可以以其一個(gè)端點(diǎn)作為圓心,該線段作為半徑作一個(gè)圓.
4、所有直角都全等.
5、若兩條直線都與第三條直線相交,并且在同一邊的內(nèi)角之和小于兩個(gè)直角,則這兩條直線在這一邊必定相交.
其他還有羅氏幾何、黎曼幾何,合稱非歐幾何.