什么是帕斯公理？

        国人很少知道帕斯是个什么人？实际上，帕斯（MoritzPasch，1843-1930）是德国的伟大几何学家。

        1884年，帕斯第一次提出形式公理系统的概念。他认为，数学公路不应涉及（或依赖）物理内容（或物理解释）。这一思想催生了后来的形式系统（方法）。

        帕斯的数学贡献是：首次发现欧几里德平面几何学公理系统的缺陷，反对在几何证明中需要依赖图形的直觉。

帕斯发现，一条射线穿过一个三角形，从一条边进去，必然要从另一条边出去。这个简单事实，从欧氏几何公理却推导不出来，只能依靠图形直觉对付过去。

        1884年，帕斯把这个事实写成一条新公理添加到欧氏几何公理组里面去。为此，人们称之为“帕斯公理”。

        后来，希尔伯特发现，帕斯公理等价于“一条几何直线把所在平面分成两部分”的公理。

袁萌  2月18日