双曲平面的简单基础
Simple Foundations for the Hyperbolic Plane
摘要：
H. L. Skala（1992）给出了双曲几何的第一个优美的一阶公理系统，用Pappus和Desargues关于双曲平面的定理代替了涉及射影的Menger公理。在这样做，斯卡拉表明，双曲几何是发病几何。我们改进了斯卡拉的公式，完全取消了帕普斯和笛沙格，代之以两个更简单的公理。
英文摘要：
H. L. Skala (1992) gave the first elegant first-order axiom system for hyperbolic geometry by replacing Menger's axiom involving projectivities with the theorems of Pappus and Desargues for the hyperbolic plane. In so doing, Skala showed that hyperbolic geometry is incidence geometry. We improve upon Skala's formulation by doing away with Pappus and Desargues altogether, by substituting for them two simpler axioms.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
