欧几里得几何学

欧几里得几何学的 5 条公设：

1. 由任意一点到另外任意一点可以画直线。
2. 一条有限直线可以继续延长。
3. 以任意点为中心及任意的距离可以画圆。
4. 凡直角都彼此相等。
5. 平面内一条直线和另外两条直线相交，若在某一侧的两个内角的和小于二直角的和，则这二直线经过无限延长后在这一侧相交

同时，公理也有 5 条：

1. 等于同量的量彼此相等。
2. 等量加等量，其和仍相等。
3. 等量减等量，其差仍相等。
4. 彼此能够重合的物体是全等的。
5. 整体大于部分。