前四编把数学概念按参战维数分成三层，各写各的。若书到此为止，得到的是三个并列的名单，不是一个体系。
>
本编要回答的是三层之间的关系：一固层的固化维是谁指定的？ 答案把三层串成一条链，而这条链是第二版唯一的新机制。
>
检验状况先说明：本编第 30 章的机制在第八编真跑三里得到一处支持（中级层四十例零例可指认推翻，说明一固层确实不动共有前提）；第 31 章是对第一版第 38 章那条区分的补机制，未设独立检验；第 32 章是描述性的。
第一版写完十九个案例，回答了「一栏是怎么开的」。它没有问下一句：开完之后呢。
账本上多了一栏之后，数学并没有立刻去开下一栏。相反，此后几十年里，大量的工作在这一栏内部做，做出成堆的新单位与新过程，而没有一件动摇任何共有前提。
这些工作在第一版里全部被塞进「一阶」那一格，与删公理并列。第二版把它们提到一固层。而本章要指出的是：它们不是随便固化了某一维，它们固化的恰恰是上一次三活涌现时被换掉的那一维。
链条一：概率。
三活那一步（第一版第 23 章）：Borel 的正规数逼出「概率是情形之比」这条前提的失效，Kolmogorov 1933 把概率钉成测度。被换掉的是计——账本本身被换了一本。
此后概率论内部的全部工作，以那本新账为不可动的裁判：随机过程、鞅论、随机微分方程、大偏差、遍历定理。它们造出大量新单位（停时、鞅、Wiener 过程、马尔可夫核）与新过程（伊藤积分、力迫式的构造法），而没有一件重新问「概率是什么」。
按第二版的判据，这是 E 固化型的一固层。而它固化的那一维，正是 1933 年被换掉的那一维。
链条二：分析。
三活那一步（第一版第 19 章）：发散级数的矛盾值逼出「无穷过程有值当且仅当它到达一个量」的失效，柯西—魏尔斯特拉斯把「值」改成一个量词结构，1872 年实数构造给它签字。被换掉的仍是计——「和」的账本。
此后一个世纪的分析，以 ε–δ 与实数完备性为不可动的裁判：一致收敛、绝对收敛、各级正则性、可积函数类、Sobolev 空间、紧性的各种版本。第二版第四编把它们归为 S 固化型（显露不动，算与计在争）——注意这里固化的是形而不是计，因为被换掉的那一维在此后成了争夺的场地，而不是裁判。
这构成本章机制的第一处不整齐，30.5 节正面处理。
链条三：代数几何。
三活那一步（第一版第 18 章）：Bézout 重数逼出「空间先有点」的失效，概形把点换成素理想。被换掉的是形——显露方式被换了。
此后代数几何内部的工作，以概形语言为不可动的裁判：上同调理论、形变理论、模空间、étale 拓扑。它们造出大量新单位（层、模空间、上同调群）而不重问「空间是什么」。这是 S 固化型的一固层，固化的正是被换掉的那一维。
三条链条给的形状是一致的（除去链条二的那处不整齐）。机制不难看出，而且它是结构性的，不是巧合。
三活涌现的产物，是一本被重写过的账。 无论被换掉的是计（概率、分析）还是形（代数几何），涌现完成之后，那一维上多出一个东西：一本新账本，或一种新的显示方式。
而新的东西刚被签过字。 第一版第 28 章的签字律说：合法化由计以一致性论证完成。刚签完字的那一维，是三个位置里唯一一个刚被证明过自洽的。
于是它天然成为下一轮的裁判——因为它是唯一一个大家刚刚同意过的东西。另外两维上的争执，只能拿它来裁。
这就是本章的机制：
三活涌现给某一维签了字，签过字的那一维在此后的一段时间里不可能再被争，于是它成为下一层的固化维。
推论一：子学科就是这样出现的。 一个子学科的边界，不是由题材划的，是由它固化了哪一维划的。概率论与测度论共用一套数学，分开的地方在于概率论把测度当裁判、测度论把它当对象。第一版全书没有回答过子学科为什么存在，本推论是第二版的回答。
推论二：子学科内部重争固化维，就是分出新学科。 若有人在概率论内部重新问「概率是不是测度」（von Mises 一系、算法随机性一系），他做的就不是概率论内部的工作，而是在把固化维解冻——那是下一次三活的开端。此处与第一版第 23.5 节记的「两条路线最终并存」对得上。
推论三：一固层的丰产是必然的，不是数学家偷懒。 一维被钉死之后，另外两维的组合空间立刻可穷举，而每一个组合都产出一个单位或一条过程。第八编真跑一里 E 固化型（闸后三十六例中的二十一例）里那十六例产单位者（拓扑空间、度量空间、巴拿赫空间、环、域、模、格……）就是这个穷举的产物。它们看上去像是一批平行的抽象，其实是同一个固化维下的枚举。
链条二不整齐：分析的三活换掉的是计（「和」的账本），而此后一固层固化的是形，计反倒成了争夺的场地（一致收敛之争、可积性之争、正则性之争都是算与计在争）。
本书对它有两种读法，两种都不完全够：
读法甲：签字的对象与固化的对象不是一回事。 1872 年被签字的是实数系（一个新的在场者），而不是「和的账本」这条规则。实数系属形——它是一个可以被指着看的对象。于是固化的是形，与机制一致。
读法乙：机制只在被换掉的那一维上得到一个新对象时成立。 概率得到了测度空间这个对象，代数几何得到了概形这个对象，分析得到的是一个量词结构——量词结构不是一个对象，它是一条规则。规则钉不住，于是固化落到别处。
两种读法都能救机制，而它们互相不兼容：读法甲说被签字的是形，读法乙说被换掉的是计而没得到对象。本书不在两者之间裁定，因为裁定它需要的是第三条链条以外的更多样本，而第二版的样本只有三条。
记在此处，并写死一条判负条款留给后续：
取三活层十九例中此后确实形成了子学科的那些（概率、分析、代数几何、群论、拓扑、测度论、可计算性），逐例编码「被换掉的维」与「此后子学科的固化维」。若两者一致的比例 < 0.70，本章机制撤回，三层回落为三个并列名单。
与拉卡托斯的分界。 他的研究纲领有一个「硬核」，纲领内部的工作不许动硬核，只动保护带。这与固化维形状一样。
分界在两处：其一，他没说硬核是哪一维——硬核在他那里是一组命题，而本书说它是三个位置中的一个，且可以逐例指认是哪一个。其二，他没说硬核从哪来——纲领的硬核在他那里是被选定的，而本书说它来自上一次三活涌现中被签了字的那一维。
第二处是实质的：它使「硬核为什么是这个而不是那个」成为一个可回答的问题。
与库恩的分界。 常规科学在他那里是解谜，范式革命是整体更替。他的图景里没有中间层——要么在范式内解谜，要么范式被换掉。而本书的一固层既不是解谜（它产出新单位，不是把已知方法用到新题上），也不是革命（它不动任何共有前提）。
第一版第 40.1 节说过：数学没有库恩式的革命。第二版补一句：数学有的是三层，而库恩的两分把中间那层压没了。
第一版第 38 章给了伸展与开栏的区分，还给了一条可判错的设计：
伸展之后，被伸展的概念仍在原栏，且原来那个概念会被重新定义；开栏之后，账本上多一栏，而原栏不变。
条款写死了，自查零反例。但第一版承认（第 38.3 节）：在第 19 章内部，本书没有给出可判错的设计——若读者认为「取消到达」也只是概念伸展的一种，第一版无法用那一章的材料反驳。
欠的那一笔是机制：伸展本身是怎么发生的。第二版补上。
拿拉卡托斯自己的主例：柯西 1821 年的定理「连续函数的收敛级数连续」被阿贝尔 1826 年的反例推翻，Seidel 1847 与 Stokes 用「一致收敛」修补。
三家的位置：
· 形（固化）：曲线还是那条曲线，函数还是那个函数。显露方式一动没动——争论双方指的是同一批对象。
· 算（在争）：逐项取极限这条程序，在什么条件下可以交换次序。
· 计（在争）：收敛这本账，对逐点与对整体是不是同一本。
形是固化维：它被双方共同援引——两边都用同一条曲线做例子，谁也没有提出「这不是同一个对象」。而按第二版的判据（预注册第一节），形的任何条款都不在被推翻之列：没有任何关于「函数是什么」的共有前提在 1847 年被动过（那一次要等到 1837 年的任意对应与 1945 年的分布，都是三活层的事）。
于是这是 S 固化型的一固层。按三型产物的预测：S 固化产单位。产物正是：逐点收敛与一致收敛两个新单位，从「收敛」这一个旧单位里切出来。
这一节兑现第一版第 38.4 节那条判据的理由。
一固层的新单位，是从固化那一家的旧单位里切出来的。 切出来的意思是：旧单位被分成若干块，每块获得一个名字，而旧的那个名字要么被保留给其中一块，要么被留作总称。无论哪种，旧单位的含义都变了——它现在指的是一块，或者指的是一个类。
「收敛」在 1847 年之后不再是原来那个意思：它成了一个总称，底下有两块。这就是重新定义。
而三活层的新在场者，不是从任何旧单位里切出来的，它是加上去的。 复数不是从实数里切出来的一块，理想不是从数里切出来的一块，分布不是从函数里切出来的一块——它们各自在账本上占了一个原来空着的位置。加上去的东西不改变旧栏的定义。
于是第一版第 38.4 节那条判据得到了理由：
伸展重新定义原概念，因为它切；开栏不重新定义，因为它加。
上一节的理由是可判错的，判负条款写在此处：
取一固层三十六例，逐例编码「它的新单位是否由某个旧单位切出，且那个旧单位此后含义改变」。若比例 < 0.70，本章机制撤回。
本轮未跑——第八编的四条真跑不含这一条，本条是本章写作时才提出的，按第一版第 26.4 节立下的标准（不能既用一批数据提出一条断言、又用同一批数据确认它），它必须留给下一批。
预先说明一处不利：E 固化型那二十一例里，有不少不是「切」而是「抽」——拓扑空间不是从某个旧单位里切出来的，它是从若干实例里抽出的公共部分。若「抽」也算，本条的比例会很高但内容变空；若「抽」不算，本条只对 S 固化型成立，而 S 固化型只有八例。本条很可能要缩小到「S 固化型的新单位由旧单位切出」这个更窄的形式。
第一版第 38 章的其余内容原样成立，本章只补机制。第 38.5 节（与克罗的分界）不受影响：新存在物是加一栏、旧栏照旧——现在可以再加一句：而新单位是切一栏，旧栏的定义跟着变。 克罗说数学没有革命，说的是加那一层；他没有看见切那一层，而切那一层确实改变了旧概念的含义。
把第一版第 29.2 节的时长表按出生年份重排，三活层的十九例在时间上不是均匀分布的。两处密集：
1868—1872 那五年：非欧几何签字（1868）、流形第一次签字（1868）、群签字（1870）、理想（1871）、实数构造（1872）、埃尔朗根纲领（1872，一固）、魏尔斯特拉斯处处不可导函数公开（1872）。
1930—1945 那十五年：概率＝测度（1933）、可计算函数（1936）、弱解（1934—1936）、范畴（1945）、分布（1945—1950）。
而一固层三十六例的产出，按年份铺开是匀速的——十九世纪末到二十世纪，每十年都有若干个新单位与新过程。
解释甲：条件场松动期。 某些时期，多个位置同时出现新的可显示手段或新的账本工具，于是几条不相干的线同时具备了签字条件。1872 前后的解释是：集合语言、算术化、群的抽象定义几乎同时成熟，签字工具集中成熟（第一版第 29.7 节已给过这条）。
解释乙：连锁。 一次三活涌现给某一维签了字，而签过字的那一维立刻成为另外几条线的签字工具。理想的签字用了集合（1871），而集合在 1874 年成为超穷数的材料；实数构造（1872）为极限签字，而极限的量词结构在 1897 年成为 p 进数的模板。
两种解释不互斥，且都未经检验。要区分它们，需要编码「某次涌现的签字工具是否来自前一次涌现的产物」，判负条款写在此处：
十九例逐例编码签字工具的来源。若来自前一次三活涌现产物的比例 < 0.50，解释乙撤回，成簇只由条件场松动期解释。
一固层匀速，机制上是可以说清的，而且它与第 30.4 节推论三是同一件事：
固化维一旦钉死，另外两维的组合空间可穷举。穷举是一件可以匀速进行的事——它不需要等任何外部条件，只需要人手。一固层的产出速度由从业人数决定，三活层的产出速度由条件场决定。
这条有一个可观察的推论：一固层的产出应当随数学从业者人数增长而增长，三活层不应当。 二十世纪后半叶数学从业人数增长了一个数量级以上，而本书十九例中 1960 年之后一个也没有（概形 1960 是最后一个）。
这个观察对本书是危险的，因为它有一个更简单的解释：本书的选样标准要求「至少两本标准通史称其为新概念」，而通史的写作滞后于事件三四十年，1960 年之后的候选还没进通史。第一版第 4.9 节记过这个选择偏差，此处它再次生效。
因此本节不作断言，只把观察与它的替代解释一并记下。
| 项 | 状态 |
| 典范级的 E 成为下一层的固化维 | 三条链条，其中一条不整齐（分析）；判负条款已写死（一致比例 < 0.70 则撤回） |
| 子学科由固化维划界 | 推论，未检验 |
| 重争固化维＝分出新学科 | 推论，与第一版第 23.5 节对得上 |
| 一固层的丰产是穷举 | 与真跑一 E 型（闸后二十一例）对得上，但该预测过宽 |
| 伸展＝S 固化型二维碰撞 | 机制已补；新预测（新单位由旧单位切出）本轮未跑，且很可能要缩小到 S 型 |
| 三活成簇 | 两种解释并存，均未检验 |
| 一固匀速 | 机制可说；1960 年后无三活例的观察不作断言（选样偏差可解释） |