我家进门要换鞋。这条规矩在我这儿是天经地义的——从小到大，家里就这样。
有一年我去一位同事家做客，他家不换鞋，穿着鞋直接进客厅。我当时心里"咯噔"了一下，那种感觉很难形容，不是觉得不卫生，是觉得不对。
后来我想明白了那个"咯噔"是什么：我把一条我家的规矩，当成了天底下的规矩。
再后来我发现，这条规矩是可以推的。为什么换鞋？因为地脏。为什么地会脏？因为路面、天气、住的楼层、有没有电梯。我小时候住的地方，楼下是土路，一到雨天泥泞不堪，不换鞋家里没法住。而我同事家住在一个到处铺着硬地的小区，从车库直接上楼——他那条"不换鞋"的规矩，在他那儿也完全成立。
两套规矩都自洽，都管用，而且各自都能在自己的条件下推出一整套配套做法（鞋柜放哪儿、拖鞋几双、客人怎么招待）。
这一章要讲的，就是数学界用了一百年才接受的同一件事：公理不是天定的，可以有好几套，各自自洽。
而这一件，砸的是柱五——找到了就定了。
一个被当作"自明真理"的东西，怎么才能被改？
这个问题比"公理能不能改"更要紧。因为空口说"一切都可以改"，谁都会说，说了也没用。
数学界在这件事上给出了人类历史上最干净的一个答案。这个答案不是一个论证，是一套做法：你要主张某条公理可以不成立，你得造一个东西出来，让别人在这个东西上看到"不成立也照样过日子"。
这一章要把这套做法讲清楚，因为它是本书卷七要推广的那三件东西里，最硬的一件。
欧几里得那五条公设里，第五条特别长、特别别扭。它说的大意是：一条直线跟另外两条直线相交，如果同侧的两个内角之和小于两直角，那么这两条直线延长下去必在那一侧相交。
两千年里，无数人试图从前四条把它证出来，都失败了。
萨凯里是意大利的一位耶稣会士，1733 年出版了一本书，书名可以译作《欧几里得无懈可击》。他的办法是反证法：假设第五公设不成立，推下去，找矛盾。
他推了很久，推出了一大堆定理，全都自洽，一个矛盾也没有。
这是人类第一次系统地走进非欧几何，而他自己不知道。
最后他怎么办的？他没有找到矛盾，就说这些结论"违背直线的本性"，宣布证明完成，把书收了场。
这是本书里最可惜的一位。 他走到了门口，手都搭上门把了，然后说：里面肯定没东西，我们回去吧。
为什么？因为他有一个不可动摇的前提：欧氏几何是真的，所以任何跟它不同的东西必定错。有了这个前提，他推出来的那一堆自洽的定理，在他眼里不是发现，是还没找到毛病的错误。
这一节要记一句：前提不动的时候，证据是没有用的。 他手上握着全部证据，足足一本书那么多。
高斯很早就意识到了另一套几何的可能，而且做了相当多的工作。他没有发表。
在 1829 年给天文学家贝塞尔的信里，他说明了理由，大意是：他担心那些没有理解力的人会大吵大闹（他用了一个带轻蔑意味的说法，通常译作"波奥提亚人的喧嚣"）。
这是字面意义上的"隐藏地拆"：结论躺在抽屉里，因为"公理不是天定的"这件事太吓人。
高斯当时是欧洲数学界最有威望的人。最有威望的那个人不敢说，这件事本身就是本书要研究的现象：一个说法能不能出来，跟它对不对无关，跟说出来的人要付多少代价有关。
我在这里不打算苛责他。他的顾虑是真实的——当时康德哲学影响极大，空间被当作先天的、唯一的直观形式，动它等于动整个知识界的自我理解。
真正把它发表出来的是两个边缘位置上的人。
罗巴切夫斯基，喀山大学的数学教授，1829 年在一份地方性的学报上发表了他的工作。鲍耶，匈牙利人，1832 年把他的研究作为一个附录，印在他父亲的一本书后面。
两人独立做出，形式都很边缘：一份地方学报，一个附录。
下场：几乎没有反响。 罗巴切夫斯基的东西被一些人当成胡说，他晚年处境不佳。鲍耶的父亲曾劝他不要碰这个题目——这位父亲自己年轻时在这上面耗过很多年；而当他把儿子的成果寄给老朋友高斯时，高斯回信说自己早就想到了，这让年轻的鲍耶大受打击。
这一步的教训很实在：发表不等于被接住。 两人都发表了，都没有被接住。因为那时候还缺最后一件东西。
1854 年，黎曼在哥廷根做就职演讲，题目大意是《论作为几何学基础的假设》。这份演讲 1868 年才正式发表。
他做的事比前面几位更根本：他不再讨论"第五公设成不成立"，他讨论"一个空间的度量是由什么决定的"。
他的结论是：空间的性质不是先天给定的，它取决于填在里面的东西。空间不是一个先摆好的容器。
我用一个家常例子说这件事：床垫的形状取决于躺在上面的是谁。 空床垫和睡着人的床垫，不是同一个面；你要量两点之间的距离，得先知道这张床垫此刻是什么形状。
六十年后，广义相对论把这句话变成了物理。
黎曼这一步的意义在于换问题：原来的问题是"哪一套几何是真的"，他换成了"几何是一类东西，各有各的适用条件"。问题一换，柱五就不用撬了，它自己塌了。
最后两步，是本书最看重的。
1868 年，贝尔特拉米做了一件决定性的事：他构造了一个模型。简单说，他在欧氏几何里找出了一块曲面，在这块曲面上，非欧几何的那些定理全部成立。
这一步的意思是：如果非欧几何有矛盾，那么欧氏几何也有矛盾。
请体会这一步的分量。在此之前，非欧几何是一堆"可能自洽也可能哪天会崩"的定理；在此之后，它的可靠性跟欧氏几何绑在了一起。你要么两个都信，要么两个都不信。
这就是判据。 它不回答"哪个是真的"，它回答"在什么条件下，我们说这一套跟那一套一样可靠"。这套办法今天叫相对相容性证明，是现代数学立新东西的标准手续。
1899 年，希尔伯特出版了《几何基础》，把欧氏几何重新公理化，明确了公理系统的独立性、相容性这些要求。从此，公理的身份彻底变了：它不再是自明的真理，而是我们约定要满足的条件。
有一个广为流传的说法：希尔伯特讲过，把"点、线、面"换成"桌子、椅子、啤酒杯"，整套几何照样成立——据传，出处未核，存疑。但这句话准确地说出了那个转变：要紧的不是那些东西是什么，是它们之间那套关系成不成立。
土壤。 两千年里所有关于第五公设的失败尝试。这一格特别值得看：失败本身是土壤。 无数人证不出来这件事，本身就积累成了一片"这里有点不对劲"的底子。萨凯里的那一大堆定理也是这片土壤的一部分——他以为自己在找矛盾，其实他在开垦。
分刀。 真正的那一刀是黎曼下的：把"哪一套是真的"切成"每一套各有适用条件"。 这一刀切的是问题本身，不是答案。
站住。 贝尔特拉米的模型。一个新东西站住的标志，是它跟已经站住的东西被绑到了一起，而不是它说服了谁。
回写。 希尔伯特之后，公理的身份变了，整个数学的自我理解跟着变了：数学不再被理解为关于某个现成世界的真理，而被理解为在约定条件下的推演。这套新的自我理解反过来改写了后来的所有工作——二十世纪的数学基础研究、抽象代数、拓扑，全建立在这个新理解上。
四件齐全，而且齐得干干净净。 这是本书能找到的最完整的一次"从萌芽到落定"，前后一百六十六年（1733 到 1899）。
现在把这条线跟哲学那条线对一下，这是本书命题三最直接的一处证据。
1733 萨凯里推出了非欧的定理，自己否定掉。
1781 康德出版《纯粹理性批判》，把欧氏空间当作先天直观形式。——注意：这比萨凯里晚了四十八年。
1829／1832 罗巴切夫斯基与鲍耶发表。
1854 黎曼演讲。
1868 贝尔特拉米模型。
1899 希尔伯特《几何基础》。
1900–1901 胡塞尔《逻辑研究》；这一年前后，那八个人开始撬地板。
把这条线看完，一件事很清楚：柱五在数学里被撬开、撬动、并且彻底重铺，全部发生在哲学那八个人动手之前。
而且不是早一点点，是早了几十年到一百多年。到 1900 年那八位开始工作的时候，"公理不是天定的"已经是数学界的常识，写进了教科书。
那八位呼吸的就是这种空气。 弗雷格要给算术重建地基（第十九章），用的是这个时代的问题意识；胡塞尔是数学博士出身（第二十二章）；怀特海与罗素合写《数学原理》（第二十五章）。
本书不主张他们是在"应用"数学的成果——那太简单了。本书主张的是："一个自明的东西可以被重造，而且有办法重造"这件事，是他们那代人能想到的东西里，先由数学界做出来并示范的。
公道地说：萨凯里、高斯、以及那些反对者，担心的事情是真的。
如果公理可以改，那什么不能改？如果欧氏几何不是唯一的，那数学的确定性还剩下什么？
这个担心在十九世纪末被证实了一部分。数学家造出了越来越多的新对象，然后在集合论里撞上了真正的矛盾（罗素 1902 年那封信，第十九章要讲）。"造"是有风险的，而且风险是真的。
数学界对这件事的处理，是本书最看重的一课。他们没有退回"公理是自明的"，也没有滑向"怎么造都行"。他们的办法是把风险变成手续：
新造一套东西，要给相容性证明或者模型；
一个公理系统，要说清楚各条是否独立；
一个证明，每一步要能被机械地检查。
这套手续，就是判据的成熟形态。 而它的效果是：数学在承认"这一切都是我们造的"之后，可靠性不但没降低，反而提高了。
这一条，是本书回答"撬完柱子怎么办"的最有力的经验证据。第二章里我说过，撬柱子的人有义务接管柱子干的活。数学界是唯一一个完整地做到了这件事的行当：他们撬掉了柱五，然后用一套手续把柱五原来干的活（可累积、可判对错）全部接管了过来。
反驳一：非欧几何在很长时间里只是形式游戏，直到广义相对论才有了意义。所以真正让它站住的是物理，不是数学内部的判据。
这条反驳有力，而且在历史叙述里很常见。
我让一步：广义相对论确实极大地提高了非欧几何的地位，让它从"可能的"变成了"我们这个世界的"。
但我要指出时间顺序：1868 年贝尔特拉米的模型，比 1915 年早了四十七年。 在这四十七年里，非欧几何在数学界内部已经完全站住了——它进了课程，成了研究对象，长出了整个微分几何这一支。
而且更要紧的是：如果它没有先在数学内部站住，物理学在需要它的时候就没有现成的工具可用。 爱因斯坦之所以能用，是因为黎曼那套东西已经被造好、被磨利、被写进了教科书。他本人学这套东西是靠朋友帮忙补课的（这一条常见于传记叙述，细节我未逐一核）。
这一条恰好反过来支持本书：先站住，后有用。 一个东西必须先在自己的行当里被判据固定下来，它才可能在别处被拿去用。反过来的顺序——等到有用了再来立判据——在历史上很少成功。
反驳二：高斯不发表是审慎，不是怯懦。科学家对没有把握的东西保持沉默，是美德。
这条反驳我基本接受，而且我在正文里已经说过不打算苛责他。
我让一步：他的顾虑是真实的，代价是具体的，沉默是一个理性的选择。
但我要把这件事的性质说清楚：这不是一个道德问题，是一个制度问题。
一个行当如果让"说出真话的代价"高到连最有威望的人都承担不起，那这个行当的判据体系就有毛病。判据的作用之一，恰恰是降低说真话的成本——因为有了判据，一个说法能不能站住，不取决于说的人是谁、有多大威望、会不会被骂，而取决于它过不过那套手续。
对照着看：贝尔特拉米 1868 年那个模型出来之后，再没有人需要勇气去主张非欧几何了。不是人们变勇敢了，是这件事不再需要勇气。
这是判据最被低估的一个作用：它把一件需要勇气的事，变成一件只需要按手续办的事。 一个行当里如果还有很多事情需要勇气才能说出来，通常说明那件事还没有被做成手续。
结算一句新话： 撬动一根柱子，靠的不是更有力的论证，是造出一个让"不那样也行"变得可以被检查的东西。萨凯里有证据没有造，高斯有把握不敢造，罗巴切夫斯基与鲍耶造了但没人验，贝尔特拉米造了一个能验的——一百三十五年，差别就在最后这一步。
在数学里。 公理化成了造新学问的标准起手式：抽象代数、拓扑、测度论、概率论（1933 年柯尔莫哥洛夫把概率公理化），全是先立一套公理再往下推。"先约定条件，再推后果"成了默认的做法。
在逻辑里。 希尔伯特之后，"证明"本身也成了研究对象，这条线通向哥德尔 1931 年的结果：任何一个足够强的、一致的系统里，都有它自己证不了的真命题。这是柱五最后的那一块也塌了——不但公理是约定的，而且任何一套约定都到不了所有地方。
在物理里。 1915 年的广义相对论，以及此后所有把几何当成物理量的工作。
在哲学里。 影响是有的，但滞后而且间接。最直接的一支是逻辑经验主义那一路，它极其看重公理化；另一支是通过弗雷格、罗素、维特根斯坦进入语言哲学。
至于"一个被当作自明的东西可以被造、被改、被立判据"这件事本身的普遍意义——本书主张，这件事在哲学里至今没有被充分接住。 这句话是我这本书要立的说法之一，我把它放在这里，供人反驳。
这一章里最值得搬走的不是历史，是贝尔特拉米那一步的做法。我把它拆成三步，写成任何行当都能照着做的样子。
第一步：把要撬的那条规矩，写成一条可以被否定的话。
不是"我们太僵化了"，不是"这条规定不合理"——这两句都无法被否定，因此也无法被验证。要写成："这条规矩要求的是 X。我主张：不满足 X 也能把这件事办成。"
进门换鞋那件事，写出来就是：这条规矩要求的是"入户的鞋必须与户外分离"。我主张：不做这个分离，在硬地小区里也能保持清洁。
写到这一步，事情已经变了性质——从一场关于"应不应该"的争论，变成了一个可以被事实顶回来的主张。
第二步：造一个最小的样本，让人能亲眼看见"不那样也行"。
贝尔特拉米造的是一块曲面。工程上造的是样机，医学上做的是小规模试验，公司里做的是一个部门先试三个月。
要点是"最小"。 样本不必大到能说服所有人，它只需要小到能被做出来、而且能被别人检查。第一步写下的那句话，决定了这个样本要展示什么。
第三步：把这个样本跟已经被接受的东西绑在一起。
这是最容易被跳过、也是最要紧的一步。贝尔特拉米没有说"非欧几何是真的"，他说的是：如果它有毛病，那你们信的那套也有毛病。
翻译到日常：不要说"我这套更好"，要说"我这套用的是你们已经认可的那一套东西搭出来的；你们要否定它，就得同时否定你们自己那一套里的某一条"。
这一步把争论从"你的和我的"，变成了"你自己的东西之间"。 对方没法只反对你，他得先跟自己吵一架。
三步走完，那根柱子就不用撬了——它会自己松，因为所有人都看见了"不那样也行"，而且看见的方式是他们自己认可的。
这三步在卷七第三十一章会再出现一次，作为"怎么立一件补件"的模板。它是本书从数学史上搬走的最实用的一件东西。
结算。 回到进门换鞋。
那条规矩在我这儿曾经是天经地义的。让它松动的，不是有人跟我论证"换鞋没有道理"——那我会立刻找出一百条理由反驳。让它松动的，是我亲眼看见一户人家不换鞋，日子照样过得好好的。
贝尔特拉米那个模型干的就是这件事：让人亲眼看见另一套也能过日子。
这是本书最看重的一条方法：要撬一根柱子，最有效的办法不是证明它错，是造出一个"不那样也行"的、可以被人检查的东西。
论证可以被顶回去，模型顶不回去。
第一个洞。 我在这一章把数学写成了一个成功的样板：撬了柱五，还接管了它的活。可数学有一个别的行当没有的便宜——它的对象是它自己造的。 一个几何系统自洽不自洽，可以在纸上判清；而一个关于社会、教育、组织的说法，没法靠纸上的一致性判定。把数学的成功办法推广到别处，可能从一开始就搭错了地方。 这是本书最薄弱的一处，我在卷七第三十一章必须正面处理，而现在我只能承认它。
第二个洞。 我说"判据把需要勇气的事变成按手续办的事"。这句话我很喜欢，但它有一面阴影：手续同样可以被用来挡住新东西。 一套成熟的判据，会让所有不符合它的东西自动出局，而下一次真正的撬动，很可能恰恰不符合现有的判据。数学界自己就有这样的例子（一些后来极重要的工作，最初被认为不够严格）。判据既是门，也是墙。 这一面我在这一章没有处理，它会在卷七变成一个必须回答的问题。
（第十二章完）