欧几里得公理

欧几里得公理构成欧几里得几何学的一般推理框架。定义规定几何对象的含义，命题则必须通过推理确立其真理；与二者不同，公理被呈现为自明的。它提供了相应的逻辑许可，使量能够被比较、合并、分离、加倍、折半或认定为相同。因此，这些规则使几何演示成为可能，而它们本身并不成为演示所得的结论。

在几何体系中的位置

全书将公理置于定义和公设之后。定义确立几何学的基本语言，其中包括点、直线、平面、角和平行线。随后，公设授予特定的几何作图，例如连接两点作直线，以及以任意圆心和半径作圆。公理则在更一般的层面上发挥作用——它们表达了贯穿推理过程、可以普遍应用的相等关系和大小关系。

这一位置赋予体系以分层结构。几何图形通过定义加以描述；允许进行的作图以公设为依据；而问题和定理的结论，则通过公理以及已经确立的内容得到论证。全书明确把几何学的公理描述为一般命题，其真理被视为自明的，不能通过演示加以确立。从这个意义上说，欧几里得公理并非装饰性的开篇内容，而是证明链条赖以建立的公认基础。

相等与加法规则

第一条公理指出，等于同一个量的各量彼此相等。因此，相等关系被视为具有传递性——如果两个量各自等于第三个量，那么无需另行作图，即可推出二者相等。这条规则把共同的标准转化为连接彼此不同对象的桥梁，使证明能够从一种比较推进到另一种比较。

第二条公理指出，等量加等量，其和相等。该原则规定了加法下相等关系的保持。一旦两个量被证明相等，就可以分别加上同一个量，而不破坏二者之间的关系。这条规则对于由若干部分组合成复合图形或长度的几何论证尤其重要；它使关于较大量的结论能够继承其组成部分的相等性。

第三条公理给出了相应的减法规则——从等量中减去等量，所得余量相等。第二条和第三条公理共同确立了几何推理中的可逆算术模式。相等关系既能在加上同一个量后保持，也能在减去同一个量后保持。全书还记载了相反的规则——不等量加不等量，其和不等，从而防止把同一种运算施加于起初不等的量而制造出相等关系。

不等、乘法与重合

关于从不等量中减去量的规则指出，从不等量中减去等量，所得余量不等。它在共同减去一个量时保持差异，正如前述规则保持相等关系一样。这些成对的陈述区分了能够维持既有关系的运算与可能改变既有关系的运算；因此，公理不仅规范相同性，也规范不等性的持续存在。

另外两条公理以基本形式涉及乘法和除法。同一个量或相等量的二倍相等，同一个量或相等量的二分之一也相等。这些规则在保持对象之间关系的同时，将相等关系扩展到原有量之外。它们还表明，该体系关注几何量的实际变换，而不仅仅是静态地宣告两个对象重合。

另一条公理通过重合来认定相等。彼此重合的量，或恰好填满同一空间的量，是相等的。这条规则赋予空间叠合以逻辑后果。全书把叠合法定义为设想将一个量置于另一个量之上，使二者的每一部分都完全重合。因此，重合既是视觉上的检验，也是概念上的检验——当两个量恰好占据同一空间时，就承认它们相等。这一原则把图形的感知清晰性同证明的形式语言联系起来。

限制与几何后果

整体大于部分这一公理为图形和几何量提供了基本的次序原则。它看似简单，却防止几何论证把完整对象及其一个真部分视为等同。与支配加法、减法、加倍和折半的规则相结合，它为演示提供了受控的比较语言，使复合图形能够同构成它们的各个部分相比较。

该体系还包含专门的几何公理。两条直线不能围成一个空间，所有直角都相等。第一条限制了什么可以充当边界——仅凭两条直线不能围成面积。第二条确立了直角的统一性，因此，直角不会仅仅因为出现在另一图形或另一位置中，就变成另一种角。这些规则把抽象比较同直线和角的特有性质联系起来。

全书周围的说明阐明了这些原则为何重要。几何学的主要对象是阐述和说明图形的性质，而开头六卷讨论平面图形。那里所考察的直线被假定处于同一平面内，周界则是围成图形的直线或各条直线的全部长度。在这种范围内，公理使边、所围图形、角和几何量之间的关系能够从一个步骤传递到下一个步骤。

在问题与定理中的作用

欧几里得公理支持全书所认可的两类命题。问题提出需要完成的事项，例如作一条直线、作一个圆，或在给定条件下构造一个图形。问题的解答说明如何使用直尺和圆规完成所要求的动作，而其演示则证明所指出的过程确实达到了要求的终点。相比之下，定理断言某项原则的真理，必须从定义、公理、公设或已经确立的真理中演绎出来。

这种区别使公理成为整个方法中默默发挥连接作用的纽带。直尺和圆规是欧几里得朴素几何学中唯一允许使用的工具，但工具本身不能确立结论。作图产生图形；定义辨认其各个部分；公设授权基本动作；公理则允许比较由此产生的几何量和关系。演示把这些彼此协调的步骤转化为得到论证支持的知识。

因此，它们的权威既是形式上的，也是教育性的。全书主张，欧几里得《几何原本》文献已经成为整个文明世界数学科学的基础，并且几何学能够加强探究、提升心智，培养算术、土地测量、量测、工程、航海、力学、流体静力学、气体力学、光学和物理天文学所需的推理能力。全书还把彩色图示呈现为心智追求真理的辅助，而非娱乐。在这种教育观中，公理体现了一种思维训练——它们教导学习者哪些变换能够保持相等，哪些变换能够保持不等，以及哪些结论可以从共同原则中推出。因此，它们属于全书更宏大的目标，即“教人如何思考，而非思考什么”，而不只是教人记住思考的内容。