祝融说。

一部抄了两千年的书

公元 888 年，君士坦丁堡。一位名叫斯忒法诺斯的书记员正在灯下誊抄一部书。雇主是阿雷塔斯，一位以好学著称的拜占庭学者——多年后他将出任凯撒利亚的大主教；抄本的题记里留着这桩交易的痕迹——斯忒法诺斯为此领到了十四枚金币。他抄的是欧几里得的《几何原本》。这份抄本今天仍在，藏于牛津大学博德利图书馆，编号"多维尔 301"：它是现存最早的注明抄写年代的完整希腊文《几何原本》。

值得在灯下多站一会儿的，是这份抄本在时间里的位置。到斯忒法诺斯落笔时，这部书已经将近一千二百岁——它诞生于公元前 300 年前后的亚历山大城。此后它还要继续旅行：希腊文的抄本在拜占庭的书房里一代代复制；更早几个世纪，它已译成叙利亚文，又在巴格达的翻译运动里进入阿拉伯文，经注家们（其中就有为平行线问题立过案的海亚姆）反复研读；12 世纪，它从阿拉伯文回到拉丁世界；1482 年，威尼斯的印刷商拉多尔特把它排成活字，成为最早刊印的数学教科书之一。一部文本，被复制了将近两千年，几乎无需修订。

要先掂一掂"抄写"这件事在当时的分量。印刷术要再等六百年才进入欧洲，一部书的再生产只有一条路：找一个识字的人，一副纸笔，一盏灯，从头到尾再写一遍。这是唯一可行的复制技术，也是最脆弱的传播技术——抄错一笔，错就随着抄本一起旅行。正因为如此，文本在传抄中的变形才是常态：古代典籍几乎无一例外地带着层累的改动、增补与窜乱。而《几何原本》在这样的传播条件里保持了它的形状：后世在故纸堆里重新找到萨凯里（下一章的主角之一）时，核对的是同一家书的同一些命题；拜占庭的抄写员与文艺复兴的排字工排出的，是同一座建筑。抄写会有笔误，会有注文的混入，会有不同流传系统的细目差异——但两千年间，没有人觉得需要"修订"它的主体：命题还是那些命题，证明还是那些证明。

"几乎无需修订"这五个字，才是本章真正的对象。同一场漫长岁月里，古代世界其他伟大的知识建筑无一保住了原样：盖伦的医学在人体解剖面前改写，托勒密的天文学在新的观测面前改写，亚里士多德的物理学在中世纪与文艺复兴的批评面前改写。唯独欧几里得，越抄越像永恒。一部书凭什么可以两千年不改？通行的答案是：因为它是真理。本章要给出的答案不同：因为它把对话方换掉了。一部不再与世界对话的书，世界也就无从修改它——而这件事是欧几里得在开卷第一页亲手做下的，做法，就叫公理方法。

第三部分由此开卷。第七章结尾留下的问题是：自我封闭的扩张自由，以哪些裂缝为代价。本章先讲这座建筑怎样立起，第九章讲它的第一道裂缝，第十章与第十一章讲裂缝的全谱与建筑师的应对。

亚历山大城的地界

欧几里得本人的生平几乎全部失传。能站住的只有几条：他约在公元前 300 年活动于亚历山大城，那里刚由托勒密王朝建成地中海最大的学术机构——缪斯宫与图书馆；他活跃于托勒密一世在位年间；《几何原本》是他在此完成（更准确地说：编订——书中大量材料来自前人）的著作。关于他的性情，只留下两则轶事，一则是他对托勒密说的：几何无王者之路——学这门学问没有为王侯专设的捷径，此语由普罗克洛斯记载；另一则是他对一个刚学完命题就问"学这些能换来什么"的学生所说的：给他三个铜板吧，因为他总要从所学中获利，此语由斯托拜乌斯记载。两则轶事的可信度都有限，但它们能流传，恰恰因为符合后人对这本书的理解：它不讲情面，不问用处，只认论证。

《几何原本》共 13 卷。前六卷是平面几何——从三角形的全等，到比例理论，到圆与面积；第七至九卷出人意料地是数论——整数的整除、素数无穷多个的证明、偶完全数的刻画；第十卷处理不可公度的量，篇幅占全书近四分之一；第十一至十三卷是立体几何，最后以五种正多面体的构造收束——那是柏拉图宇宙论里天体的构件。通行说法是：全书从 23 个定义、5 条公设、5 条公理出发，推出四百多个命题。公设与公理的分工，通行说法是公设专管几何对象（如"从任一点到任一点可以引一条直线"），公理管一切量共有的规律（如"等量加等量，和相等"）；这份划分经过了两千年的辗转传抄，细节上注家始终有异议，但它划出的那条地界没有异议。

地界是这本书真正的发明。开卷先把起点全部摆上桌面——定义、公设、公理，一共几十行——然后立下规矩：此后的一切结论，只许从这些起点经显式的步骤推出。第二卷里那些今天写作代数恒等式的内容，被写成面积的拼合；勾股定理在第一卷末尾以面积相等的形式出现；直到最后一卷，五种正多面体仍是从同一起点一路推下来的成果。起点之外，书页上不再有任何"显然"。

这份纪律的苛刻程度，值得单独指出：除了摆上桌面的起点，推理不许偷运任何东西——不许靠图形看起来如何，不许靠"显然"，不许靠肉眼。欧几里得本人也未必完全做到了这一点。第一卷证明三角形全等时，他用了一个"叠合"的动作——把一个图形拿起来放到另一个上去——而"移动图形"这件事，公设里并没有许可；他还在许多论证里默认了点在直线上的先后次序，而这种次序关系，定义与公设同样没有给出。这些偷运是如此之小，以至于两千年里几乎无人察觉；要到 19 世纪末，帕施与希尔伯特重审全部地基时，它们才被逐条清点出来——那是第十一章的伏笔。此处先记下这件事的教益：完美建筑的"完美"，一半是设计的，一半是两千年没人拿放大镜看的。建筑的接缝，不止第五公设一条；只是其余的接缝藏得更深，而第五公设，是唯一一条从第一天起就在明处的。

公理方法：起点的显式公布

现在按本书的读法，给这个开卷动作定性。

《RC》论文在公理系统中讨论观察锁定（公理 A3）：确定性仅在观察发生时被锁定。第五章由此给出了形式系统的转写：形式系统就是已被锁定的收敛结构的符号化——公理与规则是被显式锁定的收敛成果。欧几里得是这件事两千年前的原型。他锁定的是几何论证的收敛路径起点：从此以后，一个几何命题算不算成立，不再取决于图形画得是否可信、教师是否有威望、结论是否符合肉眼——只取决于它能不能从摆上桌面的那几十行起点出发，经显式的步骤走下来。颗粒度不同（欧几里得锁定起点，弗雷格锁定每一步的变换规则），动作是同一个：把"什么算成立"从修辞、权威与直觉手里收走，交给任何人都可以重走的显式路径。

《RC》论文在公理系统中讨论共识强化（公理 A6）：跨主体、跨层级的观察结果若相互验证，则形成正向强化循环，收敛出稳定的客观实在。第五章说现代符号语言是共识强化的人工加速器；本章要往前追认一笔：公理方法是 A6 人工化最古老的范本。它的加速原理朴素到只有一句话——起点公布之后，验证不再需要重走发现的路，只需要检查给出的路。亚历山大城的学生、巴格达的注家、中世纪的译者和拜占庭的抄写员，检查的是同一份起点、同一条路径；他们彼此不识，语言不通，相隔千年，却在验证同一个东西。斯忒法诺斯那盏灯下的每一笔，都是对一千二百年前某次锁定的一次再强调。

第三章说过，数学的对话方是它自己的公理与构造实践。这个身份不是数学与生俱来的，它是欧几里得签下的约：与世界的对话（丈量、计数、历法——数学的母语，导言讲过它的出身）被请出书外，几何从此自问自答。"无王者之路"说的其实是同一件事的另一面：地界的规则对国王与庶民一视同仁——起点的合法性一旦显式公布，就不再接受任何身份的豁免。这是公理方法最锋利也最危险的一笔，它的锋利与危险是同一处：公布起点，等于承认起点是选出来的。

一栋楼成为知识的样板

这座建筑的辐射力很快超出了几何。阿基米德与阿波罗尼乌斯在它的方法上继续加建——前者算面积与浮力，后者研究圆锥曲线；亚历山大的天文学、光学与力学纷纷取它的论证样式为范式。文艺复兴之后，它成了"知识应当长成什么样"的样板本身。斯宾诺莎的《伦理学》副标题是"依几何次序证明"，把神、心灵与情感放进定义、公理、命题的格式里推演；牛顿的《自然哲学的数学原理》以定义、运动公理、命题、证明的次序写就，结构上是《几何原本》的天文学版；直到 19 世纪，哲学家讨论"何以有必然为真又扩充实有的知识"时，摆在案头的范本仍然是几何——康德把几何判断立为先天综合判断的原型，正因为它在他看来是必然性与对实在的效力结合得最完美的样本。一栋楼立了两千年不倒，于是所有想盖楼的人都来学它的图纸。

《RC》总纲在 2.4 节讨论观念与共识时说，当特定解释框架展现出预测力与实用价值时，个体与群体将通过比较形成观念共识，而既成的共识再反向影响主体感知，完成闭环。样板的确立正是这个闭环在知识史上的宏大运转：公理方法的成功（一次次无可辩驳的推演）使它成为"严格"的定义本身；成为定义之后，它反过来规定了后人看见"知识"的方式——凡不长得像几何的学问，就被看作尚未完工。这个闭环没有任何神秘之处，它正是第一章讲过的账户与再强调，只是规模从一张桌子放大到一种文明。而闭环的代价也在同一处：当一种方法成为"严格"本身，它的起点就被锁进了"不证自明"的保险柜——要问"起点为什么是这样的"，先得有一个人怀疑方法本身可以不是这样的。

第五公设从第一天起就不对劲

欧几里得摆上桌的五条公设，前四条各占一行：两点可连一线；线可无限延长；任意圆心与半径可作圆；凡直角皆相等。第五条是这样的：如果一条直线与两条直线相交，且在某一侧的同旁内角之和小于两直角，那么这两条直线在该侧相交。

放在公设的队列里看，它长得不像同僚。前四条说的是"可以做什么"——作一条线、延长一条线、作一个圆；第五条说的是"必将发生什么"——两条线在一个远到画不出来的地方相交。它的表述绕了一个条件句的弯，结论落在页面上不可检核的远处。用后世的话说：它读起来不像起点，像一条定理——一条恰好还没有人证出来的定理。这份不自然从第一天就有人看见。离欧几里得八百年，5 世纪的新柏拉图主义者普罗克洛斯在《对欧几里得〈原本〉第一卷的评注》里记下了这份疑虑：这条命题应当从公设中整个划掉——它不是不可证明的起点，而是一道有待证明的定理。普罗克洛斯记下了托勒密的证明尝试，也给出了自己的"证明"；事后看，那些证明全都把与第五公设等价的断言偷换了进来——用要证的东西证它自己。他也记下了更早的徒劳：希腊化时期已有人试图从其余公理推出它。此后这条接缝从未被人遗忘：中世纪的阿拉伯数学家为它立过专案，文艺复兴的注家接着审。疑虑本身也成了传统——两千年里，几何的完美建筑墙上始终有一条人人看得见、人人解释不了、也没有人能抹去的接缝。

值得把这幅图景与第一章的定律对上：收敛越彻底，越显得不曾收敛。第五公设是这一定律的反向样本——它是建筑里唯一一处没被两千年的复验彻底覆盖的砖，因此也是唯一一块还看得出"是砌上去的"的砖。所有人都看见了接缝，所有人的解释都是"它本来就该在那儿"；至于为什么该在那儿，要再等两千年。

永恒真理是怎样攒出来的

现在可以回答本章开头的问题：一部书凭什么两千年不改？

按《RC》的读法，答案分两层。第一层是账户。第一章说过，《RC》总纲在 1.2 节讨论确定性出现时描述的共识强化——跨主体观察相互验证，形成正向强化循环——并把每一个稳定事实背后由无数次相互验证攒下的存款称作它的账户；自明，是账户厚到让人们忘了开过户。《几何原本》的账户是古代世界最厚的一笔：每一个验证过勾股定理的学生、每一次按几何规则分割的土地、每一次以三角测算的航行、每一个在灯下重新走过第一卷证明的抄写员，都是一笔存款或一次再强调。两千年，跨语言，跨文明，零失败。没有任何一部古代典籍攒下过这样的账。

第二层是选址。零失败不是这栋建筑的功绩，是它选址的功绩。医学的账本外有尸体，天文学的账本外有星空——它们都欠着世界，世界迟早来改写。几何不欠：它的对话方在内部，一个命题只受公设与逻辑的检查，从不受尼罗河泛滥后田埂形状的检查。《RC》总纲在 1.3 节讨论时空与因果时说，观察共识使相干主体之间共享大体一致的实在，快照中可以形成稳定且持续被强调的可能性收敛路径——因果规律似乎具有先验性；而把这话推到底——这种先验性只是收敛路径足够稳定的表象——是《RC》论文在 2.3 节讨论时空与因果时给出的。欧氏几何是这句话在古代世界最完整的实现：它的路径稳定到两千年零失败，于是从快照内部看出去，它当然像永恒真理。

于是发生了本章要诊断的那次读错。账户的厚度被读成了本体的担保：公设——一组被显式公布、随时可以另行公布的起点——被读成了不可质疑的真理。"未被质疑的起点"获得了"不可质疑"的面容。第一章的话在此兑现在数学身上：人们忘记了开过户，于是以为账户里的是天地开辟前就存在的存款。这次读错的账单，是下一章的全部内容。

完美建筑的账目

照例的澄清，两条。

其一，本章不是说欧几里得错了，更不是说公理化是一场骗局。恰恰相反：公理化是数学史上最伟大的成就之一，而它的伟大有一个常被忽略的条款——正是公理化，为更换保留了接口。起点的全部合法性都摆在桌面上，这件事的反面是：换掉起点，用的恰恰是欧几里得自己立的规矩。两千年后人们换掉第五公设时，没有掀翻这座建筑，只是按它的办法在旁边另起了一处地基——建筑师的这门本事，第三章已经预告，第九章将全程细讲。公理方法不承诺起点的真理性，它只承诺：起点之后的每一步都可查。这是一个比"永恒真理"小得多的承诺，也因此是一个从未落空的承诺。

其二，本章不是说两千年白过了。两千年的复验是真实的存款：在欧氏公设之内，三角形内角和等于两直角，这件事被验证了亿万次，铁一般的有效——它的有效性至今分毫未损，将来也不会损。要改写的不是账本上的任何一笔，而是账本的性质：它是世界上被验证得最充分的一组起点，而不是世界唯一可能的起点。第三章说过，自明性是一种选择——是无数次沿同一条路径收敛之后，快照内部看出去的样子。非欧几何的故事，就是把这句子从论断变成历史的过程。

第三部分追踪的问题是第三章立下的：自我封闭的扩张自由，以哪些裂缝为代价。本章清点了建筑：地界、起点、两千年零失败的账户，与墙上那条从第一天就看得见的接缝。下一章讲人怎样盯着这条接缝——一个耶稣会士在 1733 年把归谬法的长梯搭上这堵墙，爬到了一个从未有人见过的世界的门口，然后在门口停下了。