科研之友
微信
新浪微博
Facebook
分享链接
摘要
Dependencies are identified in two recently proposed first-order axiom systems for plane hyperbolic geometry. Since the dependencies do not specifically concern hyperbolic geometry, our results yield two simpler axiom systems for absolute geometry.
- 出版日期2014-6
