欧几里得平面几何公理

1. 从任一点到任一点可以引一条直线（即两点确定一条直线）。
2. 有限的直线可以无限延长。
3. 以任一点为中心，任意距离可以画圆。
4. 所有直角都相等。
5. 平行公设：如果一条直线与两条直线相交，使得同旁内角之和小于两个直角，那么这两条直线如果无限延长，将会在这对同旁内角的一侧相交（这条公设后来被证明与 “三角形内角和为 180°”“过直线外一点有且仅有一条平行线” 等命题等价）。

• 等于同量的量彼此相等；
• 等量加等量，其和相等；
• 整体大于部分等。

直线的定义抖音百科

包含直线的公理抖音百科

• 第一公设：从任一点到任一点可以引一条直线，即两点确定一条直线。
• 第二公设：有限的直线可以无限延长。