平行线公理

平行线公理：经过直线外一点，有且只有一条直线与这条直线平行。
平行公理的推论：如果两条直线都与第三条直线平行，那么这两条直线也互相平行。平行公理的推论体现了平行线的传递性，它可以作为以后推理的依据。
平行线公理是几何中的重要概念，欧氏几何的平行公理，可以等价的陈述为“过直线外一点有唯一的一条直线和已知直线平行”。而其否定形式“过直线外一点没有和已知直线平行的直线”或“过直线外一点至少有两条直线和已知直线平行”，则可以作为欧氏几何平行公理的替代，而演绎出独立于欧氏几何的非欧几何。