第三十一章　三原理怎样成为数学公理：
符号化与逻辑化的桥梁

31.1 三个相位在具体构型中的内容

“数学公理是三原理的表达”必须能够展开为具体工作。若只把每条公理旁边标上S、D、E，读者仍然不知道表达如何发生。真正的桥梁，需要从一个可辨认的构型出发，说明两维之间什么关系要求改变，第三维怎样被重建，新关系又怎样获得符号与逻辑形式。

以路径为第一组构型。初始显露是一些彼此分开的节点和局部连接，差异序列是沿连接移动的过程，特征纠缠包括节点身份、方向、允许经过与连接承接条件。原来的“直接相接”不能承接更长的移动序列，D与E之间的张力促成新的S：路径和可达关系作为对象显露。

第二个相位可以从已经提出的“任意两点相通”要求进入。如果现有连接并不支持这样的显露，研究者需要改变D，寻找新的连接序列，或者承认当前目标无法在这些条件下实现。不是一句“整体相通”就能够代替具体路径。新的序列建立以后，整体显露与关系组织也随之改变。

第三个相位则出现在预算问题中。已经观察到两段合法路径，原D能够将它们连接，但固定预算的旧E无法承接结果。于是E需要重建为带预算的关系，使连接时资源能够组合。这个重构反过来改变可达的名称和后续推演。三原理在同一个数学任务中表现为不同重构位置，而不是三个独立口号。

现在进一步询问，什么性质能在这些构造中成为基础规范。允许零步路径，使每个对象能够与自身保持关系；允许路径反向，使无向情形中的往返得到承接；允许有限连接，使前后两段能够形成新的整体。这些操作要求经符号化以后，分别支持自反、对称与传递等性质。

需要看清推导的实际起点。三原理帮助我们找到需要重构的地方，但“允许零步”“允许反向”“允许连接”是具体生成条件。目标性质不是只从抽象的两维张力自动跳出，而是在这些条件下被证明。把生成条件公开，才使三原理的应用能够由他人复查。

这也显示，不同发生条件可以产生不同公理。若不允许反向，便不能无条件要求对称；若限制路径长度，普通传递性需要改变；若把同一对象的辨认本身打开，连零步关系也需要更精细的版本说明。数学的多样性来自具体纠缠与操作的不同，而不是三原理必须输出唯一一套形式体系。

因此，本书对“直接应用”的具体理解，是让三原理直接组织公理的发生研究，而不是取消符号化、逻辑化和构造条件。直接意味着公理不再被排除在发生之外，不意味着中间论证可以省略。只有把这层关系讲清，三原理才能真正进入数学，而不只是附在数学外面的哲学解释。

31.2 符号化保留了什么、舍去了什么

符号化的第一项任务，是选择哪些发生差异进入形式对象。路径构造可以暂时不关心卡片颜色和材质，只保留节点身份与允许连接。这样做使不同材料上的同类关系能够共同研究。但被舍去的内容不是不存在，而是在当前问题中不承担所要研究的作用。

可以用一个表达映射来说明这一点。设Ω是当前考虑的具体发生构型，q把每个构型表达为一个形式对象。如果两个具体构型经q得到相同表达，说明当前形式语言把它们视为同一类。研究者需要解释，这种合并保留了什么关系，又可能遮蔽什么差异。

例如，把两张不同材质但连接相同的卡片图表达为同一有限图，可能适合研究可达；若研究摩擦、折叠或实际承重，这种合并就可能丢失关键内容。符号化没有一次性普遍正确的版本，它需要对当前任务负责。一个形式模型的成功，不意味着它已经包含对象全部发生。

运算要在表达之后成立，还需要相容条件。若两个具体构型被视为同一类，那么对它们进行对应操作后，结果也应当落在同一表达类中。否则，形式对象虽然相同，操作结果却依赖被隐藏的差异，形式运算便不明确。这个条件常常是公理发生研究中最容易被省略的承重部分。

用等价记号表示，若x约同x′、y约同y′，希望组合操作满足x·y约同x′·y′。只有如此，才能在等价类上定义“先取代表再组合”的运算，而不让结果取决于代表选择。这不是形式洁癖，而是公共符号能够稳定使用的条件。不同人选取不同实例，才可能仍然得到同一个形式对象。

在知识传播中，也有相似问题。两个说明被称为表达同一概念，如果在关键边界任务中产生不同判断，就说明当前等价认定过粗。数学将这种问题写成明确的相容条件，使概念稳定性不再只依赖直觉。符号学的粒子判据由此进入场态规范。

符号化还需要公开对象域是否固定。若新差异要求增加对象，原来的量词范围、运算封闭性和分类都可能改变。不能在推导前后使用同一个集合符号，却悄悄加入新的元素。对象域的改变本身可以是创造，但它必须作为版本变化进入记录。

因此，符号化不是把经验翻译成几个字母，而是建立一种受任务约束的关系保持。它同时具有保留与舍弃，统一与区分。创造性数学的根知识，正包括能够判断这种保持是否足够，以及在不足时怎样重建表达。

31.3 逻辑化引入哪些语言与规则

符号化得到对象以后，还需要逻辑化，使关系成为可以推演的陈述。我们要确定使用哪些谓词、运算、量词与相等规则，怎样表达“所有”“存在”“如果”，以及什么算一个有效推导。没有这些规定，公理只是一组看似庄严的句子。

以可达为例，写作R(x,y)以后，需要说明x、y取自哪个对象域，R怎样由路径定义。若要证明传递性，目标是对所有x、y、z，由R(x,y)与R(y,z)推出R(x,z)。具体证明使用了存在路径的见证、路径连接操作，以及连接结果仍在允许范围内的条件。每一步都可以被定位。

这一过程可以形成一个相对奠基的通式。设P表示本书的三原理研究框架，B表示具体发生构型与生成条件，L表示所用逻辑和元语言，A表示目标公理。我们要展示的不是仅写P便得到A，而是在公开B与L之后，说明A如何由这些条件成立。符号P、B、L并不是新的数学定理，只是把证明责任分栏。

如果A实际上已经包含在B中，就不能把结果称为从更弱条件推出A。例如，先规定所有路径连接都满足结合律，再宣布证明了结合律，没有增加知识。若能够从有限序列的明确拼接定义证明结合性，则提供了一个构造性解释；但其中所用的序列和整数知识仍需作为元理论背景承认。

这种相对性在基础研究中尤其重要。我们可以用集合语言重构自然数，也可以用形式项研究代数结构，但不能同时隐藏所用集合与逻辑，再宣称没有任何前提。公开背景不等于放弃奠基，而是让不同奠基方案能够被比较：它们借助什么、得到什么、在哪些地方仍然需要更深研究。

逻辑化也使失败变得明确。若同一组前提有两个模型，一个满足目标性质、另一个不满足，那么该性质就没有被这些前提决定。此时需要增加具体条件或收缩结论。三原理的发生研究可以帮助寻找缺失关系，但不能用“还在涌现”代替这个逻辑事实。

后文将使用一个强反例：某种三元素运算能够从任意两项唯一恢复第三项，却不满足结合律。这说明三方程意义下的相互唯一确定，并不自动推出常用代数公理。若要获得结合性，需要额外的组合相容条件。这个反例让共同根基研究从口号进入具体承重问题。

有限闭合构造：三原理怎样进入一组可证明的规范

下面给出本书新增的一项形式重构，用有限关系的闭合来展示“从发生要求到公理表达”的实际中间环节。它不是三篇底本中已经写好的定理，也不声称覆盖全部数学。其作用在于把三原理的具体应用推进到一个读者能够逐步检查、修改和复用的构造。

取一个有限对象域X，先给出一组直接连接R。当前任务希望表达“可以经由有限次允许连接而到达”，但只记录R会漏掉中间承接后的关系。这里的S是当前已经辨认的可达对，D是寻找、组合并核对路径的差异序列，E包括对象身份、端点接合与允许零步等共同条件。初始R与继续拼接的D发生失配，要求显露集合改变；新显露又会成为下一轮可组合的材料。这就是当前构型中的发生与回写，不是把一个现成闭包名称贴到三原理上。

把关系复合定义为：当存在某个中间对象y，使(x,y)属于P且(y,z)属于Q时，(x,z)属于P与Q的复合。再用I表示每个对象与自身组成的对。对任一当前关系T，规定一次更新Φ(T)=T∪I∪(T∘T)。从T₀=R开始，逐次令Tₙ₊₁=Φ(Tₙ)。这条更新规则公开了三项承诺：保留已经确认的连接，允许零步，把两段已经允许的连接接成一段。它没有先把目标关系定义成“必然自反且传递”，而是给出可以执行的生成操作。

由于每次更新只增加对象对，而且X有限，关系最多只有|X|²个可能位置。只要一次更新还没有稳定，就至少新增一个位置，因此经过有限次严格增加之后必定停止。记稳定结果为Cl(R)。这个停止理由依赖有限对象域；它不是关于任意无限过程的收敛定理。有限性是当前桥接中的真实前提，必须保留。

现在检查规范从哪里来。第一，R包含于Cl(R)，因为更新从不删除初始连接。这是扩张性。第二，如果R包含于Q，那么从R开始的每一轮关系都包含于从Q开始的相应轮关系，因为并入I和复合操作都保留包含关系；所以Cl(R)包含于Cl(Q)。这是单调性。第三，对已经稳定的Cl(R)再运行同一规则，不会产生新的对象对，因为I已经在其中，内部复合也已被吸收；所以Cl(Cl(R))=Cl(R)。这是幂等性。

这三个性质不是从“闭合”这个汉语词直接读出，而分别来自保留、关系保持和稳定后的再运行。它们的公理形式，表达了这项发生程序允许怎样的连接与重复。接下来还可以证明Cl(R)自反且传递：自反对由I进入，若两个对象对已经在稳定关系中，它们的复合也因稳定而在其中。于是具体生成操作同时给出了关系性质与闭合算子的性质。

更强的一点是最小性。设V是一组已经自反且传递、并包含R的关系。初始T₀包含于V；如果某一轮Tₙ包含于V，由于V包含I并能承接内部复合，下一轮Tₙ₊₁也包含于V。依有限轮次归纳，最终Cl(R)包含于任何这样的V。我们没有任意加入一切可能连接，而只生成了承接原有连接和指定操作所必需的最小关系。

这项构造对符号与逻辑也有直接影响。“相连”必须拆出直接连接与闭合可达两个概念；“已经找到两段路径”必须获得允许接合的逻辑规则；“全体可达关系”则由新的场结构承担。三门根学科在一个构造中共同工作，三原理的回写不再只是叙述顺序，而进入了更新规则、稳定条件和可证明性质。

还要区分固定规范下的饱和，与规范本身的改变。Cl的幂等性不是说知识从此永远不能创新，而是说在对象域、允许操作和原始材料都固定时，同样的闭合不再添加内容。若新差异要求允许反向连接，我们得到另一个算子；若删除某条许可，或者引入总预算限制，也需要重建算子。把规范改变记为E的版本变化，便能同时理解局部稳定与新的发生，而不把幂等性误读成禁止创造。

本书对三顶点全部有向关系进行了有限核查，检查上述扩张、单调、幂等，以及与另一种逐点可达计算所得关系是否一致。程序检查覆盖有限实现，一般的有限域论证已经在这里给出。[18]由此，我们得到一组明确成果：一项三原理应用的具体构型，一条可执行生成规则，一组由规则得到的公理性性质，以及这些性质不能越过的条件范围。

因此，逻辑化不是把发生压回旧规范，而是让发生的成果获得可公开承担的形式。新的公理可以大胆提出，但一旦进入推演，就必须明确自己允许什么、不允许什么。创造与严格在这里不是二选一，而是新知识成为公共基础的两个相互依存方面。

31.4 避免把目标公理偷放进出发条件

如何检查一个公理重构是否循环？最直接的办法，是把出发条件逐条展开，问目标性质是否已经以其他词语出现。若想证明归纳原则，却预先要求对象域只能由有限次生成得到，那么某种最小闭合要求已经进入起点；若想证明结合性，却把组合定义为不依分组的操作，目标结论也已经被预设。

这并不意味着这些构造没有价值。它们可以准确说明某条公理表达了怎样的发生承诺，帮助学习者理解公理不是任意命令。但其知识身份应当是发生重构或等价说明，而不是从完全独立的更弱前提推出。区分身份，才能让研究继续向真正缺失的地方推进。

本书采用四项检查。第一，列出原始对象与允许生成操作；第二，列出对象辨认与表达相容要求；第三，列出逻辑和元理论工具；第四，标出目标性质在哪一步首次得到支持。这个检查不是外加审稿表，而是公理发生研究的正文结构。读者可以沿着它查找遗漏。

随后构造反模型。若去掉某个生成条件，目标性质是否失效？去掉反向允许后，对称性可以失效；去掉空路径后，自反性不一定成立；允许依赖分组的操作后，结合性可以失效。这些反例说明目标性质依赖什么，使公理不再只是需要背诵的形式。

还应当比较不同但合理的构造。无向路径、带方向路径、带预算路径都可以在SDE发生学中研究，却产生不同关系规范。若统一框架能够容纳它们，就不能仅凭统一性宣布某一套具体公理唯一必然。统一的作用是提供共同发生问题，具体选择仍由对象、操作与目标共同规定。

由此，本编形成一项更精确的研究承诺：在若干基础构造中，展示三原理怎样促使符号与逻辑重建，并证明由明确生成条件得到的结构性质；同时保留无法由当前条件推出的部分。这个承诺比泛泛宣布“一切公理皆可解释”更强，因为它要求具体完成，也允许具体失败。

对作者的普遍命题，本书不以少数例子宣布已经全部证明。数、集合、代数、几何各有不同基础承诺，选择、无限、连续等问题也不能由有限构造一笔带过。后文将指出若干需要继续研究的接口。这些接口不是写作的空白掩饰，而是经过实际推导以后留下的明确问题。

三原理与公理之间的桥梁至此具有了结构。下一章从最熟悉的数开始，研究“一个”怎样获得单位地位，后继怎样形成序列，归纳原则又怎样与最小生成承诺相连。基础知识之所以基础，将不再只因为它出现在第一课，而因为它承载了后续结构得以发生的关系。

章末来源与论证身份

[4]数学公理发生总命题及三原理定位。[12、16]相互确定与结合性反例的有限核查。表达映射、等价相容与相对奠基分栏为本书的形式说明；本章未宣称仅凭未形式化三原理已演绎出全部数学公理。

本次增厚中的构造、条件分析与教学材料为本书的进一步展开，不作为三篇理论底本已经给出的结论。[18]提供相应有限构造的复核；一般性论证仍以正文所列前提与证明为准。