平行公理

希尔伯特的《几何基础》的五组公理之一:同一平面内，过已知直线外一点有且只有一条直线与已知直线平行。任何两点都是平行的，任何一点与任何一平面都是平行的。欧几里得的定义:如果一条线段与两条直线相交，在某一侧的内角和小于两直角和，那么这两条直线在不断延伸后，会在内角和小于两直角和的一侧相交。定义:如果两条直线都与第三条直线平行，那么这两条直线也互相平行。