3条中定义过平行线了。。欧几里得几何的有些性质与平行公设等价，也就是假设平行公设成立，可推导出这些性质，反过来假设这些性质的一项为公理，也可以推导出平行公设。其中最重要的一项，也是最常作为公理代替平行公设的，要算是苏格兰数学家约翰·普莱费尔提出的普莱费尔公理：这里有个问题要提出来，即在证明第五公设时，平面是不加定义，如果平面作如下定义：满足第五公设的面定义为平面。这实际上可用公理法对平面作定义。如果有这定义，第五公设是自明的。这才符合直观。
历史.很多人尝试用前四条公设证明平