希尔伯特的几何学公理体系：
https://baike.baidu.com/item/%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9%E5%85%AC%E7%90%86
有一条平行公理：
公理Ⅳ平行公理：过定直线外一点，至多有一条直线与该直线平行．
通过它如何推出：两直线平行，同位角相等 ？？？
--
FROM 183.94.133.*

节选自《希尔伯特 几何基础》：
在合同公理之外，再加上平行公理，不难得到下列熟知的事实：
定理30　若两平行直线被第三条直线所截，则同位角合同，错角也合同；反之，若同位角合同，或错角合同，则前两直线平行。

据我理解：合同公理再加上平行公理 才能推出这个结论。
--
FROM 183.94.133.*