论文部分内容阅读
本文用平面分离公理替代希尔伯特公理体系中的Pasch公理,给出其等价性的证明。
In this paper, the axiom of planar separation is used to replace the Pasch axiom in the Hilbert axiom system, and its equivalence is proved.