判断卡片：《几何原本》最深远的影响不是它的哪一条定理，是它的次序 ——它把发生链的终点（定义与公理）摆到第一页，并使这个摆法成为此后两千三百年"什么叫一本数学书"的唯一标准。光滑化在这里第一次从一种呈现方式变成了一台制度机器，此后不需要任何人再决定一次。
欧几里得不谈知识论，不谈学习，不谈数学对象的出身。他写了一本书。
正因如此，他在这场争论里几乎从不被提起——发现派不引他，发生派也不批他。而本书要论证的是：在这道工序的全部历史上，他是影响最大的一个人，比柏拉图大，因为柏拉图给的是一张证明，他给的是一台机器；证明需要有人相信，机器不需要。
《几何原本》十三卷，开篇是二十三条定义、五条公设、五条公理。然后是命题一：在一条给定线段上作一个等边三角形。然后一路推下去，四百六十五个命题。
这个安排今天看来毫不特别，那正是问题所在—— 它之所以看起来毫不特别，是因为它赢了。
请注意一件事：欧几里得的次序，与希腊几何被造出来的次序，几乎完全相反。
希腊几何是从测量、作图、天文、以及一连串具体难题里长出来的。毕达哥拉斯学派撞上不可公度量（正方形的对角线与边长不可通约）时，那是一场危机，不是一条定理；欧多克索斯的比例论是为了收拾这场危机而造的工具。倍立方、化圆为方、三等分角这三大难题，是几何在两百年里的真实推进力。这些困境、这些失败、这些为收拾残局而临时打造的工具，构成了希腊几何的土壤与路径。
《几何原本》里，它们一条都没有。
不可公度量在第十卷以一套已经磨得极其光滑的无理量分类出现，读者完全看不出这里曾经塌过一次天。欧多克索斯的比例论在第五卷以定义五那个著名的、极其精妙也极其难懂的形式出现，读者完全看不出它是被什么逼出来的。土壤被磨掉了，路径被磨掉了，只剩下结晶。
而结晶被摆在了第一页。
这里必须停下来说清楚，否则整章会被读反。
欧几里得那样安排是对的。 对于他要做的那件事——把当时全部已知的几何整理成一个可检验、可传承、无隐藏假设的整体——公理化次序是唯一的办法，而且是一个了不起的办法。它做到了三件此前没有人做到的事：
其一，它使隐藏的假设浮出水面。一旦要求每一步都从明写的前提推出，那些"大家都觉得显然"的东西就必须被写下来，于是有了第五公设——而正是因为它被明确写了下来，两千年后才有人能够去动它，才有非欧几何。一个没有被写出来的假设是不可能被推翻的。
其二，它使知识可以被外部核查。你不必信任欧几里得，你只需要检查每一步。这是数学与几乎一切其他知识形态的分水岭。
其三，它使知识可以被完整搬运。整本书可以抄写、翻译、跨越语言与文明传下去，而不损失任何东西。《几何原本》是人类历史上被印刷次数仅次于《圣经》的书，这不是偶然——它是那个时代最好的存储格式。
所以本书对欧几里得的判断不是"他做错了"，而是一句更麻烦的话：他做的是一件存储与核查的工作，而这件工作的产物，被后世当成了教学的次序。
一个东西最适合被保存和搬运的形态，未必是它最适合被一个新学习者接住的形态。这两件事在《几何原本》这里第一次分了岔，而且岔开之后从未被合拢。
真正发生的事是：因为《几何原本》是最好的存储格式，它就被当成了唯一的呈现格式；又因为它是唯一的呈现格式，它就被当成了唯一的教学格式。 这个滑坡在历史上没有任何一处有人做过决定——它是自动发生的，就像水往低处流。
结果是：此后两千三百年，"一本数学书应该长什么样"这个问题有了一个不容置疑的答案。定义、公理、定理、证明、推论。中世纪的四艺如此，近代的教科书如此，今天小学三年级的数学课本仍然如此——"分数是把单位 1 平均分成若干份……"，这一句的语法结构与"点是没有部分的东西"完全相同。
这就是本书所说的"制度化"。 光滑化在柏拉图那里还是一个哲学主张，需要有人相信；在欧几里得这里变成了一个格式，不需要任何人相信。一位从不读柏拉图、也不关心数学对象是否先在的小学教师，只要她按课本上课，她就在执行这道工序。机器不需要信徒。
有一个细节值得记下，因为它对本书是不利的证据，不能藏。
普罗克洛斯记载了一则轶事：托勒密问欧几里得有没有比《几何原本》更短的学几何的路，欧几里得答，几何无王者之路。这则轶事通常被引作"学习要下苦功"的格言。但它还可以这样读：欧几里得知道，读他的书不等于学会几何。 王者之路问的是能不能省掉过程，而他的回答是不能。
如果这个读法成立，那么欧几里得本人并没有把《几何原本》当成教学法，是后世把它当成了教学法。这对本书的判断有一个修正：这道工序的制度化不是他做的，是他的成功做的。 一件东西一旦成为标准，它就不再需要它的作者同意。
本书采纳这个修正，并在此立一条贯穿全书的判断：光滑化的每一次制度化，都不是由某个人决定的，而是由某个成功决定的。
编三第十九章讲布尔巴基时，这条判断会以更锋利的形态再出现一次；编四第二十三章讲封写时，它会以第三种形态出现——那时它已经不在制度里，而在一个人的底盘上。
《原本》第一卷命题一：在一条给定的有限直线上作一个等边三角形。
作法是这样的：以线段两端为心、以该线段为半径各作一圆；两圆交于一点；把这一点与两端相连，得等边三角形。
证明完美无缺——除了一处。
"两圆交于一点"这件事，五条公设里一条也没有保证。公设说的是：可以画直线、可以延长、可以以任一点为心任一距离为半径画圆、直角都相等、以及那条著名的第五公设。没有一条说，两个这样摆放的圆必定相交。
这个缺口后来被称作连续性问题，它要求平面上没有"洞"。补上它，是两千两百年后希尔伯特那套公理系统的工作之一。
请注意这件事的形状。 一部以"把隐藏的假设明确写出来"为纲领的书，在它的第一个命题上，就用了一个没写出来的假设。
这不是欧几里得的疏忽，说他疏忽是廉价的。这是那个纲领的边界，而边界的位置很值得记：你只能写出你看得见的假设；而看不见的那些，恰恰是被走通了太多遍、已经沉进地基的。
"两个圆当然会交"这件事，对任何一个画过圆的人来说是不假思索的——它熟到了不产生任何信号的程度。编四第二十三章那张表里"死于成功"那一行说的正是这个形状，只是这里它发生在一部书上，而不是一个人身上。
于是《原本》同时演示了那台机器的力量与它的限度：它把大量隐藏假设逼上了台面（第五公设因此可以被推翻），而它逼不出那些已经沉得太深的。
一个来自教育史的反读，而且它相当有力：这一章把《原本》的教学影响夸大了。
事实是：中世纪与近代早期真正的数学教育，大量依赖算书、商用手册、师徒传授与口诀，《原本》主要是精英与大学教育的一部分；许多学过算术的人一辈子没翻过它。把两千三百年的教学次序全部记在它头上，不成比例。
本书接受这个修正，并据此把判断收窄一格。
《原本》确立的不是唯一的教学实践，而是一个标准：什么叫一本正规的数学书。而教科书的次序，恰恰是从这个标准来的，不是从课堂实践来的 —— 一本要被认可为 "正规"的数学教材，必须以定义开篇；一位教师即使自己上课时先摆困境，他手里那本书仍然是定义在前。
这个收窄有一个可核对的推论：在那些不受"正规数学书"标准约束的地方，光滑化应当更弱。 算书与商用手册往往从一个具体问题起头（某人有若干货物，如何分账），而不是从定义起头——这与本书的预测一致。
所以这个反读不是反驳，它是把本章那台机器的作用位置指得更准了：它装在"什么算一本书"上，不是装在"教师怎么讲课"上。 而前者比后者更难松动，因为它不需要任何人同意。
欧几里得给了这道工序一副身体。此后它不再需要哲学的支持，也不再需要任何人的赞成——它只需要一本又一本按同一格式写下去的书。
但机器有一个缺口：它不解释学习者。 你把结论摆在第一页，读者读到了，然后呢？他凭什么读得懂？这个缺口在两千年里一直空着，直到有人不得不去填它——而填法有两种。第三章那位选了第一种：既然来路被磨掉了，那来路一定在别处，在灵魂里。