希尔伯特的几何学公理体系：
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.*