欧几里得 vs 希尔伯特：公理化方法

对话背景#

这场对话是跨时代虚构。欧几里得（Euclid）活动于约公元前 300 年的亚历山大，生卒年并不确定；传统说法把他放在约前 325—前 265，史料并不能钉死。希尔伯特（David Hilbert, 1862—1943）则是哥廷根的现代数学家。两人从未相遇。对话把《几何原本》的图解演绎，和 1899 年《几何基础》的形式公理化，放到同一张桌子上。

《几何原本》（Elements）十三卷，从五条公设（postulates）和五条共同概念（common notions）出发，用命题串起平面几何与立体几何。它确立了一种方法：从不证自明的前提出发，用演绎推出定理。证明常常依赖图形——圆与圆相交、把一块图形叠到另一块上。这些步骤在纸上看起来显然，却没有被写成公设。

希尔伯特 1899 年的《几何基础》（Grundlagen der Geometrie）本是哥廷根高斯—韦伯纪念碑落成的纪念文集。克莱因请他把 1898—1899 年冬的几何基础讲义整理成文。书中把点、线、面当作未定义词项，用五组公理规定它们的关系：关联、顺序、合同、平行、连续。通行表述约二十条，各版有增删——初版多过一条后来被证明多余的顺序公理，完备性公理是随后的法译本才补上的。目标不是重画欧几里得的图，而是让每一步推理都能离开图来检查。

第一幕：公理的性质#

欧几里得：希尔伯特先生，我的《几何原本》建立在五条公理和五条公设之上。公理是不证自明的真理——例如"整体大于部分"，"等于同量的量彼此相等"。公设是几何学特有的假设——例如"从任意点到任意点可以画一条直线"。

希尔伯特：欧几里得先生，您的公理化方法是数学史上最伟大的成就之一。但您的公理并不都是"不证自明的"。您的第五公设（平行公设）就不是自明的——它过于复杂，不像其他公设那样直观。

欧几里得：平行公设说：如果一条直线与两条直线相交，使得同侧内角之和小于两个直角，那么这两条直线在该侧延长后必相交。这个命题虽然复杂，但它是关于空间的基本事实。我的前四条公设几乎是作图许可：任意两点连线、线段延长、以任意圆心和半径画圆、直角彼此相等。第五条才是关于无穷远处是否相交的判断。

希尔伯特：但罗巴切夫斯基在 1820 年代末、波尔约在 1832 年各自证明：否定平行公设，仍可得到内部一致的几何。这意味着平行公设不是"不证自明的真理"——它是一条可以替换的假设。我在《几何基础》里做的，正是把这种独立性写成模型：保留其余公理、改写平行公理，得到另一种合法的几何。独立性不再靠"看起来不像自明"，而靠另一个满足其余公理的结构。

第二幕：隐含的假设#

希尔伯特：欧几里得先生，您的《几何原本》还有更深层的问题。许多证明依赖没有写进公设的步骤。卷一命题 1 要求：在给定线段上作等边三角形。您以两端为圆心、以该线段为半径画两个圆，再取交点为第三顶点。公设 3 允许画圆，却没有任何公设保证两圆相交。交点是从图上看出来的。

欧几里得：我依赖的是图形的直观。当我在沙盘上画这两个圆时，它们显然会相交。这不需要公理——它是作图本身给出的事实。我的命题是问题（problem）与定理（theorem）交错：先作出对象，再证明性质。图不是装饰，是证明的一部分。

希尔伯特：但图会把连续性偷偷运进来。帕施（Moritz Pasch）1882 年的《新几何讲义》已经指出：直线穿过三角形一边，必穿过另一边——您用过这个事实，却没把它写成公设。我的顺序公理把"介于"变成原始关系；连续公理（阿基米德公理，以及后来补上的完备性公理）才保证直线上没有漏洞。两圆相交，要靠这类原则，不能靠墨水的连续性。

欧几里得：您还改写了我证明全等时用的叠合。卷一命题 4 把一个三角形放到另一个上。运动在我看来是合法的操作。

希尔伯特：叠合把物理位移带进了演绎。我用合同公理代替它：线段可以在射线上截取，角可以搬到另一条射线旁。图形可以画，但证明里不许再"把三角形拿起来"。

欧几里得：您的公理系统比我的复杂得多。二十来条对十条——这是否意味着您的方法更繁琐？

希尔伯特：不是更繁琐，而是把您图里默认的步骤写成句子。每一步都要能离开图来检查。您的系统简洁，是因为图替您承担了未写出的前提。

第三幕：数学对象的本质#

希尔伯特：在我的公理系统中，"点"、"线"、"面"不是具体的东西——它们是满足公理关系的抽象对象。1891 年，赫尔曼·维纳（Hermann Wiener）在哈勒作过一场关于几何基础的报告。回程在柏林候车室，我对同行的人说：必须随时能把"点、直线、平面"说成"桌子、椅子、啤酒杯"，命题仍然成立。这句话后来由布卢门塔尔记下。它不是玩笑，是方法：词项的意义由公理里的关系给出，不由日常图像给出。

欧几里得：这与我的观点完全不同。我定义点是"没有部分的东西"，线是"没有宽度的长度"。这些定义描述了空间里的真实对象——点是位置，线是路径。学生看着图，才知道我们在谈什么。

希尔伯特：但您的定义在证明里派不上用场。"没有部分"不能推出任何命题。它只是把直观再描述一遍。真正起作用的是：两点确定一直线、三点确定一平面、介于关系如何排列。对象由它们参与的关系来定义，而不是由本质来定义。

欧几里得：您是在说数学对象没有"本质"？数学对象只是满足公理的符号？

希尔伯特：在证明内部，是的。这就是后来被称为形式主义的态度：数学研究符号与规则。公理写下许可的步骤，任何满足这些关系的东西都可以叫"点"。图可以帮助发明，但不能充当省略的前提。

第四幕：完备性与一致性#

希尔伯特：欧几里得先生，我还要问两件不同的事。一是一致性：从公理推不出矛盾。二是完备性：凡在这个结构里为真的命题，都能从公理推出。几何这边，我把一致性相对地归到实数算术：若笛卡尔坐标模型不出错，几何公理也就不出错。接下来要证明的，是算术本身不矛盾。

欧几里得：我的系统是完备的——定理已经覆盖平面与立体的基本事实。

希尔伯特：您怎么知道？也许存在您没有发现、也不能从您那十条推出的几何命题。帕施指出的空隙就是例子：图替您补上了，书上却没有。

欧几里得：两千年来没有人找出这样的命题。这难道不是证据吗？

希尔伯特：这是经验，不是证明。1900 年巴黎国际数学家大会上，我把算术公理的一致性列为二十三个问题的第二个。几何的相对一致性已经把负担转移到算术；若算术能用有限步骤自证无矛盾，基础就稳住了。

欧几里得：您成功了吗？

希尔伯特：没有。1931 年，哥德尔证明：任何包含初等算术的一致形式系统，都既不完备，也不能在系统内部证明自身的一致性。那是算术的事，不是您那套图解几何直接被推翻。但它说明：我想用有限方法一劳永逸地封住基础，这条路走不通。失败本身把数学的限度写清楚了。

第五幕：几何的本质#

欧几里得：希尔伯特先生，让我回到几何学。我研究的是我们所居住的空间——三维欧几里得空间。我的定理描述了这个空间的真实性质。

希尔伯特：但罗巴切夫斯基、波尔约和黎曼证明了：存在多种一致的几何。您的几何只是其中一种。1854 年黎曼的就职演讲把度量本身变成可选择的对象。空间的真实几何是经验问题——爱因斯坦 1915 年的广义相对论把引力写成时空曲率，宇宙尺度上不再是平直的欧几里得空间。

欧几里得：这是否意味着我的几何是"错的"？

希尔伯特：不是错的——而是局部有效的。在日常尺度上，空间近似于欧几里得空间。但在宇宙尺度上，空间是弯曲的。您的几何是更一般的黎曼几何的特例。

欧几里得：我接受这一点。但我的公理化方法——从少数前提出发，用逻辑推导所有定理——这仍然是数学的核心方法。

希尔伯特：完全同意。您的贡献不仅在于几何学本身，更在于您定义了数学应该是什么：一个演绎的、公理化的、逻辑严密的体系。

第六幕：遗产与分歧#

欧几里得：希尔伯特先生，我们之间最根本的分歧是什么？

希尔伯特：我认为是公理的性质，以及证明可否离开图。您认为公理是"不证自明的真理"，图是合法的推理步骤。我认为公理是选定的起点：它们定义一个形式系统。图可以启发，但不能顶替未写出的前提。我并不主张公理可以随便乱写——每一组仍应对应某种直观事实——但一旦写下，证明就必须只依赖写下的句子。

欧几里得：但您真的相信数学与真理无关吗？

希尔伯特：我相信数学与"一致性"有关。如果一个系统是一致的，它就是合法的数学。至于它是否"真"——这是物理学的问题，不是数学的问题。

欧几里得：也许这就是数学的进步——从"寻找真理"到"构建系统"。但我不确定这是进步还是退步。

第七幕：数学的可靠性#

希尔伯特：欧几里得先生，让我问你：数学的可靠性来自哪里？

欧几里得：来自公理的自明性。公理不证自明，推出的定理才跟着可靠。图上的相交与叠合也属于这种自明：不是额外假设，是空间自己给出的。

希尔伯特：非欧几何已经表明平行公设可以选择。若自明靠不住，可靠性还剩什么？我给出的答案是模型：把点写成实数对，直线写成方程，几何的一致性就相对地落到算术上。图不再担保任何一步。

欧几里得：也许可靠性不来自自明，而来自一致性——系统不自相矛盾，它就是合法的。

希尔伯特：哥德尔表明：包含算术的系统不能在内部证明自己一致。几何可以寄存在实数上，算术却无处再寄存。可靠性于是变成相对的：我们只证明"若算术无矛盾，则几何无矛盾"。这比您沙盘上的显然，要窄，也要清楚。

第八幕：数学与物理#

欧几里得：希尔伯特先生，让我问你：数学与物理的关系是什么？

希尔伯特：数学是物理学的语言——物理定律用数学方程来表达。但数学本身不依赖于物理——数学研究的是一切可能的结构，不仅仅是物理现实。

欧几里得：而我认为数学与物理有更深层的联系。几何学描述了空间的真实结构——它不是任意的形式系统，而是关于物理空间的真理。

希尔伯特：但爱因斯坦的广义相对论表明：物理空间是非欧的。您的几何只在日常尺度上近似有效。把几何等同于物理空间，会在 1915 年以后站不住。

欧几里得：也许局部近似就是我们能得到的最好的空间真理。至于绝对，可能超出作图与测量。我仍要问：若点可以换成啤酒杯，物理学为什么偏要这一组关系，而不是另一组？

希尔伯特：那是物理的选择，不是数学的义务。数学提供多种一致的结构；哪一种描述引力，要由观测来定。形式系统不因此变成游戏——它只是不再冒充唯一的空间形而上学。

分析#

欧几里得与希尔伯特的对话揭示了数学基础的核心问题。欧几里得代表图解公理化：公理是关于空间的显然真理，证明可以动用图形的相交与叠合。希尔伯特代表形式公理化：词项未定义，公理规定关系，证明必须能在"桌子、椅子、啤酒杯"的替换下仍然有效。

这两种观点都有深刻的洞见和局限。欧几里得的直观主义使得几何学与物理世界保持了联系——几何定理有物理意义。但直观可能误导——非欧几何的发现表明，欧几里得的"显然真理"其实是一个选择。希尔伯特的形式主义使得数学获得了前所未有的严格性——任何推理都有明确的公理依据。但形式主义可能使数学与现实脱节——如果数学只是符号游戏，它为什么能如此精确地描述物理世界？

核心分歧#

两人根本的分歧在于：公理是关于世界的真理，还是选定的起点？以及：图能不能充当证明的一步？欧几里得认为公理不证自明，交点与叠合是作图给出的事实。希尔伯特认为公理写下关系，证明必须能离开图来核对。非欧几何把这条裂缝撑开：欧几里得会把它看成"另一种空间"，希尔伯特把它看成"另一组公理"——两者都可以是合法的数学，只要内部一致。

当代启示#

在现代数学中，希尔伯特式的公理化已成为标准写法：先列未定义词项与公理，再推定理。代数、拓扑、测度论都这样呈现。几何课里图仍在用，但图的地位已经变了——它是启发，不是省略的前提。哥德尔定理切断的是算术的完备性与自证一致性，不是《几何基础》里那组相对完备的公理。范畴论把"对象由态射定义"推得更远，可以看作那句"桌子、椅子、啤酒杯"的极端后裔：重要的从来不是对象叫什么，而是箭头如何复合。

延伸思考#

• 如果公理是任意选择的，数学知识的客观性如何保证？
• 丘奇-图灵论题与公理化方法有什么关系？
• 人工智能能否发现新的公理系统？

延伸阅读：欧几里得《几何原本》(约前300)；帕施《新几何讲义》(1882)；希尔伯特《几何基础》(1899)；哥德尔《论形式不可判定命题》(1931)；莫里斯·克莱因《数学：确定性的丧失》(1980)