如果一条线相交两个中的一个平行线，两者都是共面的用原件行，那么它必须横断另一个也是。
这个公理相当于平行假设.
另请参见
共面,交叉,直线-直线交点,平行线,平行假设
与Wolfram一起探索| Alpha
工具书类
Dunham，W.“希波克拉底的月正交”，第1章旅程通过天才：伟大的数学定理。纽约：Wiley，第54页，1990参考Wolfram | Alpha
普罗克卢斯公理
引用如下：
埃里克·魏斯坦（Eric W.Weisstein）。“Proclus公理”摘自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/ProclusAxiom.html
主题分类
