第三十章 公理是推演的起点，
不是发生的终点
30.1 数学究竟以什么为研究对象
一张运算表可以写满数字，却没有告诉我们为什么采用这种运算。一个几何图形可以画得整齐，却没有说明哪些连接被允许、什么关系被保持。数学教育若只从现成符号进入，容易把这些规定当成自然背景。SDE数学要打开的，正是连接、次序与结构怎样成为可以共同研究的对象。
按照本书的总纲，数学是特征纠缠的场态研究。场态不是一个空的容器，而是概念与运行关系共同形成的整体组织：哪些单位能够连接，哪些操作能够承接，哪些次序能够保持，哪些结构能够在变化中成立。[1]这种定位使数学不只在创造完成以后负责计算，而在对象与规则形成时就已经参与。
本书进一步提出，数学最基础的公理，是三界SDE三原理的符号化与逻辑化表达。[4]这个命题将把公理自身纳入发生研究。它不能只靠把公理重新说成SDE术语来成立；本编要在若干明确构造中展示，发生条件怎样进入符号，符号怎样进入逻辑，以及哪些公理可以在公开的补充前提下获得推导。
先看一个最小对象：在集合A={0,1,2}上指定一个二元运算。只要对每一对输入都给出A中的一个输出，就得到一张三行三列的运算表。九个位置各有三种选择，因此共有三的九次方，即一万九千六百八十三张有标号运算表。这个计数已经需要明确对象域、输入次序与允许输出，而不是随便在格子中写数字。
这些表都满足封闭性，但不都满足结合性、交换性或单位条件。本书实际枚举得到，其中一百一十三张具有结合性，三十三张同时具有结合性与单位元，七百二十九张具有交换性。[14]这些是固定标号集合上的表数，不是按同构归类后的结构数。数字的意义依赖这一区分，不能省略。
这个小空间立即显示，写出一种运算并不等于已经建立任何想要的数学结构。额外公理从大量允许关系中选择了某些关系，排除了另一些关系。研究公理发生，就要追问为什么选择这些条件，它们保留什么操作经验，又要求哪些新的抽象承诺。
例如，若我们希望三个动作连续进行时，只要相对先后不变，分组方式就不影响结果，便会关注结合性。若希望一个空动作与任何动作连接都不改变后者，便会关注单位元。这样的发生要求可以引导公理形成，但仍需证明具体构造确实满足它们。动机与成立之间，存在必须写出的桥梁。
数学的根基因此不只是若干最简单的数字，而是对象、关系与规定怎样共同形成可研究结构的知识。数、集合、运算、路径、距离都可以从这里进入。不同构造保留不同特征，也可能形成不同的数学。统一发生学的任务，不是强迫它们成为同一种对象，而是研究它们何以获得各自的成立方式。
30.2 连接、次序、结构的场态定位
连接首先需要明确端点是什么。把两个符号放在一起，不一定形成数学关系；两个对象之间允许何种对应、操作或通行，必须由规定说明。在运算表中，输入对与输出之间的连接由运算定义；在图中，节点之间的连接由边关系；在映射中，定义域元素与值之间的连接由函数规定。相似外观并不意味着相同结构。
次序则使这些连接能够被组织。二元运算的输入先后可能影响结果，路径的方向可能限制通行，证明中的前提依赖可能限定使用位置。次序不只是时间钟表上的先后，也可以是包含、依赖、可达或比较关系。它需要根据对象定义，而不能把任何排列都称为同一种秩序。
结构把连接与次序放到整体中研究。一个局部操作是否能够与其他操作共同成立，某个变换保持了什么，某种约束是否在组合后仍然有效，都是场态问题。整体结构不等于节点和边的简单数量，因为同样的数量可以形成不同的连接方式与后果。
三人容量为二的例子说明，场还可能包含不能由两两连接恢复的高阶约束。数学的场态定位因此不能被缩成图论的一张普通网络图。图可以是一种表达，约束、运算、拓扑或其他形式也可以承担不同任务。共同点在于研究整体关系怎样成立，而不是规定数学只有一种表示语言。
在转位签中，四个方向不是四个孤立数字。循环操作使它们形成一个特定关系整体，净转动的组合又规定了次序与返回。只记住“零、一、二、三”，并没有进入这个场；理解完整一圈回到同一编码、操作怎样合成，才开始进入结构。符号的粒子态与逻辑的波态，在这里共同成为数学场的材料。
同一材料可以支持不同结构。对四个符号，我们可以规定循环相加，也可以规定取较大值，还可以规定恒定输出。它们都能写成表，却满足不同性质。数学创造的一部分，正是在材料不变时建立新的连接和运算条件。另一部分则是改变对象域，使原来无法表达的关系获得空间。
这种创造并不任意。新结构必须遵守自身公开的规定，能够产生明确后果，并在需要时有模型展示其相容性。若规则互相冲突，就要修订；若表达无法区分关键对象，就要细化。数学的自由不是无需约束，而是能够研究和建立约束的自由。
因此，场态的基础性在于它支撑概念与逻辑的共同组织。一个新概念能否与旧概念接合，一条新规律能否与其他规律共存，都可能提出数学问题。数学不是知识体系最末端的装饰，而是在根部研究这些共同成立条件的学科。
30.3 公理内推演与公理发生学
公理可以作为一个体系内部的起点，但这个起点并不要求研究者停止追问。我们可以在接受一组公理后推导定理，也可以比较不同公理系统，研究改变一条规定会产生什么结构。这两种任务并不矛盾。公理内推演需要稳定前提，公理发生学则研究前提如何被建立、选择与重构。
例如，设一种运算已经规定有单位元。我们可以证明单位元唯一：若e与f都是双侧单位元，那么e与f运算，按e是左单位得到f，按f是右单位得到e，因此e=f。这个结论是在单位公理和相等推理下得到的定理，不是另加一条“单位只能有一个”的公理。
但为什么要要求单位元存在，是另一个问题。对动作连接而言，空动作提供一种自然构造；对某些合并任务而言，也许没有不改变任何对象的元素。公理发生学研究这些差异，不能把某一类结构中的便利直接推广为一切运算必须具有的性质。
再看恒定运算x*y=0。在至少含两个不同元素的集合上，它具有结合性，因为无论怎样分组结果都是零；却没有双侧单位元，因为任何候选与非零元素运算仍得到零。这个简单模型说明，结合性并不推出单位存在。若教学只让学生在同时具有许多性质的熟悉结构中练习，就可能看不见各公理的独立作用。
从发生角度看，空动作是否被允许、组合是否保留结果、对象是否以某种等价方式辨认，都会影响公理的形成。三原理在这里引导我们追问：已有差异操作与关系约束在哪里产生不匹配，哪一维需要改变，新的规定怎样回写其他两维。具体数学构造则负责把这些追问落实为可证明内容。
需要特别防止一种倒置：先取一个已经满足目标公理的成熟结构，再把它描述成SDE过程，就宣布目标公理由三原理推出。这样的工作可以是发生解释，却不是从更弱前提出发的推导。要证明推导关系，必须列出出发条件，并检查目标结论是否已经隐藏其中。
公理发生学也不是心理史。一个数学家想到公理时经历怎样的联想，与公理在某个构造中为什么成立，是两个问题。前者需要历史或过程证据，后者需要关系与证明。两者可以互相启发，但不能以想法产生的故事代替数学成立的理由。
同一条性质为什么既可以是公理，又可以成为定理
公理的地位还取决于当前研究站在哪一层。研究一个抽象的运算体系时，我们可以把结合性作为它的基本要求；研究已经明确定义的字符串连接时，结合性则是可以从拼接定义证明的性质。两种做法并不冲突，也不意味着数学可以任意更换真假。改变的是研究对象的给定方式：一种从规范出发考察所有满足者，另一种从具体构造出发检查它是否属于这类结构。
这项区别正好为公理发生学提供积极内容。它不必把公理说成凭空的规定，也不必把公理永远冻结为不可追问的起点。我们可以回到一个具体发生构造，展示其中哪些操作与辨认支持了这条规范；然后把对特定材料无关的规范抽出，使它成为研究更多结构的公理。由构造得到性质，再以性质规定结构类，是两个不同但相互接合的知识动作。
例如，有限字符串的拼接保留各部分内部的次序。由位置对应可以证明重新分组不改变最终字符串。随后，我们不再要求研究对象必须是字串，而研究所有具有同样结合规范的运算。数字、变换或其他构造只有在证明满足条件以后，才可以进入这个抽象类。抽象并不是把具体材料扔掉后什么都不剩，而是保留某些已经辨认的发生关系，使它们成为跨材料研究的共同约束。
按本书的主张，三原理所组织的正是规范的发生，而不是对所有规范预先作无差别授权。某种失配要求重构对象或操作，新的重构形成可重复的关系，关系经过符号化与逻辑化成为可以共同检验的规范。这个规范在一个构造里可能是定理，在一个更一般的结构类里可能充当公理。只有保持这两个层级，才能既研究公理怎样发生，又保留公理体系内部严格推演的独立任务。
本编将采用一种透明的分层：先说明发生问题，再给出具体生成条件和符号化，随后证明可得到的性质，最后展示不能由这些条件得到的部分。这样，读者既能看见公理不是无来历的命令，也能看见发生学主张尚需承担哪些进一步论证。
30.4 定义、公理、规则、定理和模型不能混称
基础研究中最危险的混乱，往往发生在最基础的词上。定义引入或规定对象的用法，公理列出当前体系接受的基本条件，推理规则规定怎样从前提合法推进，定理是依这些条件和规则得到的结论，模型则是使相应语句在某种解释下成立的结构。它们可以相互关联，却不能随意互换。
例如，把“具有结合运算与单位元的结构”命名为某类对象，是一个定义；要求当前研究的运算满足结合性与单位条件，是该类对象的基础规定；由这些条件证明单位唯一，是定理；有限字符串与连接操作可以提供一个模型。四种工作在同一研究中出现，但证据责任不同。
定义不能单凭命名保证对象存在。我们可以定义“满足某些条件的结构”，却仍需要检查这些条件是否相容。如果同时要求某元素与自身不相等，又使用通常相等的自反要求，体系就出现直接冲突。漂亮名称不能替代相容性检查。
模型也有范围。找到一个模型，可以在所用逻辑与解释规则的前提下说明这些公理具有一个实现；在有限范围中没有找到模型，却不能直接证明不存在无限模型。程序搜索需要公开对象大小和搜索边界。有限失败是有价值的信息，但不能越过自身范围。
推理规则则不能在中途悄悄更换。一个证明前半段使用通常相等，后半段把相等解释为“看起来相似”，就失去统一内容。若要研究新的等价关系，应当明确给出定义，并重新检查运算是否与这种等价相容。基础知识的严密性，来自这种逐层接合，而不只是公式数量。
元语言还需要被承认。我们用集合、有限序列、函数或普通逻辑来说明一个新的公理构造，意味着研究已经借助了某些背景工具。这种借助不使构造无效，却限制了我们能够宣称的奠基强度。相对于既有元理论的重构，不等于完全不依赖任何数学的绝对起源证明。
本书对三原理与数学公理的研究，将始终公开这一层。我们可以展示三原理如何组织寻找对象、操作和闭合条件，如何在具体符号化中形成公理；但若使用了归纳、集合或相等规则，就必须说明它们在当前证明中的地位。不能把借来的工具藏起来，再宣布一切都从零推出。
这种透明性不是对基础性知识革命的削弱，而是使革命具有实际内容。它把“公理从哪里来”转为一组能够逐项研究的问题：哪些关系来自具体发生，哪些来自符号选择，哪些来自逻辑规则，哪些仍然作为前提保留。下一章将专门建立这座桥梁，让三原理与公理之间不再只靠一根没有内容的箭头相连。
章末来源与论证身份
[1]第9页数学作为连接、次序、结构的场规范。[4]数学基础公理是三界SDE三原理符号化、逻辑化表达的核心命题。[14]固定三元素集合运算表枚举。单位唯一性与恒定运算反例均在正文直接证明。
本次增厚中的构造、条件分析与教学材料为本书的进一步展开，不作为三篇理论底本已经给出的结论。