判断卡片：哥德尔在信念上、布尔巴基在工艺上，各自把发现派推到了极限；而正因为推到了极限，那道工序第一次露出了它的代价 —— 不是在哲学论证里，是在小学教室里。新数学改革是发现范式两千五百年来第一次可被外部核查的失败。
哥德尔是二十世纪最伟大的逻辑学家，也是一位毫不含糊的柏拉图主义者。这两件事在他那里不矛盾，而且他自己认为后者是前者的条件。
他的立场极其明确：集合论的对象是客观存在的，我们对它们有一种类似感知的把握。他甚至用了这个类比——数学直觉之于数学对象，如同感官知觉之于物理对象；我们没有理由更不信任前者。集合论公理强加于我们，因为我们能够看见它们是真的；连续统假设这样的问题有确定的答案，只是我们目前的公理不足以给出它。
请注意这一手做了什么。它把"必然感"当成了一种知觉证据。柏拉图靠回忆，笛卡尔靠天赋，康德靠形式条件，弗雷格靠划界——哥德尔靠看见。这是发现派在信念一侧能到达的最远处：不再论证对象为何先在，而是直接报告"我看见它了"。
本书对这一手的处理有两条，缺一不可。
第一条，他报告的经验是真的，而且本书预言它。 一位在集合论里工作了三十年的数学家，那些对象对他而言的实在感，比大多数物理对象更强——这是可信的报告，不是自欺。按本书编三的论证，一门已经成熟、已被反复走通、且已在这个人身上被磨到不假思索的数学，落到他眼里必定显得是被发现的。柏拉图主义者所忠实报告的那种现象学，正是光滑化的现象学。 分歧从来不在这种经验真不真，而在于要不要把 "显得先在"直接当成"确实先在"。
第二条，这一手在方法上是不可裁决的。 如果"我看见它是真的"可以作为公理的证据，那么当两个同样杰出的数学家看见了不同的东西（这在选择公理、大基数、连续统假设上反复发生），就没有任何程序可以裁决。哥德尔自己也承认这一点，他寄望于新公理的成效来间接裁决——而"看成效"恰恰是一条后验的、发生学的判据，不是直觉的判据。在最要紧的地方，最坚定的先在论者不得不借用发生论的尺子。 这一处本书要记满账，编五第二十八章会拿它当主证据。
如果说哥德尔把信念推到了极限，布尔巴基学派把工艺推到了极限。
从一九三〇年代起，这个法国数学家团体以彻底公理化的方式重写整个数学：从集合论出发，逐层建立结构，把每一个概念都呈现为逻辑上无缝衔接的光滑演绎。没有历史，没有动机，没有失败，没有一句"当年人们为什么会想到这个"。原则被贯彻到极致：一切从结构出发，一切按逻辑依赖排序。
在研究与存档的意义上，这是伟大的成就。 它把数学的逻辑骨架擦得雪亮，它使二十世纪数学的统一成为可能，它培养了一整代极为出色的数学家。本书对它的价值没有任何贬低。
但它是最危险的教学诱惑，因为公理化顺序恰恰是发生顺序的完全倒置：公理是发生链最末端的结晶，却被摆到了最前端。 这就是欧几里得那台机器的最终形态——两千三百年后，同一个次序被推到了它逻辑上的尽头。
然后是本书全书最重要的一段历史证据。
一九六〇年代前后，在苏联发射第一颗人造卫星带来的震动之下，多国推行了中小学数学课程的激进改革，通称新数学（New Math）。改革的思路直接来自布尔巴基一脉：既然现代数学的正确基础是集合论与结构，那么就应当把这套语言下放给儿童 —— 从集合、映射、关系教起，从一开始就用严格的现代语言，而不是那些"不严格的"旧算术。
改革在多国推行了十来年，然后大面积失败。孩子们记住了交集、并集这些符号，会做维恩图，却与真实的数量世界失去了联系；家长辅导不了作业，教师自己也常常不理解为什么要这么教；基本运算能力下降。美国数学家克莱因写了一本《为什么约翰不会加法》来抨击它，这个书名本身成了那场失败的墓志铭。到七十年代，多数国家退了回去。
必须公正地说：这场失败有多个原因，师资培训不足、教材质量参差、推行过急都在其中，本书不主张一因论。但本书要指出那个结构性的原因，而且它正是本书的母题：新数学把每一个概念赖以发生的粗糙土壤抹得比传统教学更干净，并把发生链最末端的结晶摆到了最前端。这是一次以"现代""严谨"为名、实则加剧了光滑化的改革。
这一段之所以在全书里分量最重，是因为它的可裁决性。哲学争论可以无限进行，因为双方的证据都在对方的解释范围之内。新数学不一样：它是一次真实的、大规模的、有对照的、结果公开的干预，而且它的失败方向与发现范式的预测相反、与本书的预测一致。发现范式预测：把对象的正确形态更早、更严格地交给学习者，学习会更好。结果不是。
这是发现范式两千五百年来第一次在外部世界被核查，而且它没通过。
这里立刻要挡一个误读，否则本章会被用来支持一个本书反对的结论。
新数学的失败不是"不该教严格的东西"，不是"孩子只需要具体不需要抽象"，更不是"讲授是错的"。
它是：次序错了。 集合论语言本身没有问题，它是一件极好的东西；问题在于它被摆在了那些逼出它的困境之前。一个从来没有遇到过"这两堆东西怎么比多少""这些对象怎么才算同一类"这些困境的孩子，拿到"集合"这个词，手里就只有一个词。
编六第三十章会把这一条写成一个正面的工序，而不是一句批评。
布尔巴基那群人在一九五〇年发表过一篇讲他们纲领的文章，题目是《数学的建筑》。那篇文章值得细读，因为它把本书要指认的那件事写成了明文。
三个要点。
其一，他们明确说，他们的排列次序是逻辑上的必然次序，与历史次序无关，而且这是优点。 历史的路是曲折的、偶然的、被个人趣味与时代限制左右的；逻辑的路是唯一的。因此一部要经得起时间的数学著作，应当按后者排。
这不是疏忽。 编三第十九章那条判断说"不是疏忽，是一个成功的决定被推到了逻辑的尽头"——这篇文章就是那个决定的白纸黑字。
其二，那个贯穿全文的比喻本身，就是本书要拆的东西。 他们把数学说成一座建筑：有地基（集合论），有承重结构（母结构：代数结构、序结构、拓扑结构），有一层层往上盖的楼层。
请看这个比喻默认了什么。建筑的地基是最先造的——你不可能先盖三楼再补地基。于是"逻辑上在先"与"时间上在先"在这个比喻里被自动合并了。而实际情况恰恰相反：集合论是十九世纪末的东西，比它上面那些"楼层"晚了两千年。
这是把发生链的终点当作地基的最完整的一次修辞化，而且它做得如此自然，以至于此后半个世纪几乎没有人觉得这个比喻有问题。
其三，他们自己知道这不是发现的过程。 那篇文章里也承认，数学家实际工作时不是这样进行的，直觉、类比、尝试都在其中。他们知道两个次序不同——他们只是判定，写下来的时候应当用后一个。
这一条把他们与编三第十六章那三位放在了同一件事的两侧：庞加莱、阿达马、波利亚知道两个次序不同，于是去写那个被抹掉的次序；布尔巴基知道两个次序不同，于是把抹掉写成了纲领。四个人都看见了同一件事，做出了相反的决定，而赢的是后者。
布尔巴基的辩护者有一条相当有力的回应：新数学改革不是布尔巴基做的。
这是事实。那套书是写给专业数学家的，从来没有声称自己是中小学教材；而且那群人里有人公开反对把这套语言下放给儿童——迪厄多内那句关于欧几里得的著名口号确实煽动了改革者，但作为一个整体，那个学派并没有制定过任何一份中小学课程。把新数学的失败记在他们头上，不公平。
本书接受这一条，而且认为它重要。 但它不改变判断，因为编二第五节那条贯穿全书的判断正是为这种情形准备的：
光滑化的每一次制度化，不是由某个人决定的，是由某个成功决定的。
布尔巴基不必同意，他们的成功已经同意了。一套被公认为"现代数学的正确形态"的东西摆在那里，改革者要为自己的方案找一个权威的形态，他们不会去找一本十九世纪的算术教材。那个"所以"（这是正确的形态，所以这是应当被交出去的形态）不需要任何人签字。
这一条与第二章欧几里得那一节完全同构，而且两次的形状一模一样：欧几里得可能知道读他的书不等于学会几何，布尔巴基明确知道自己那套不是发现的过程——两人都没有决定过后来发生的事，而后来的事仍然是他们的成功造成的。
一个人可以不为自己的影响负责，但那个影响仍然存在。 本书对他们两位的判断，从头到尾都是这一句。
把六章的账合起来算。章 人 那一次可指认的操作 户头搬到了哪里一 柏拉图 给光滑化的产物颁 理念世界
发"先在"的出生证明二 欧几里得 把这张证明做成一台不 （不设户头，改设格
需要信徒的机器 式）三 笛卡尔 来路被磨掉后，为"我 灵魂
怎么会知道"开出第一
张收据四 康德 把先在从对象搬到主体 主体形式
的形式，从而免于被追
问来路
五 弗雷格 不找户头，改划边界， 第三领域（并划出边
把发生问题逐出数学 界）
六 哥德尔／布尔巴基 信念上直接报告"看 数学直觉／公理系统
见"；工艺上把倒置推
到极限六次操作，五个不同的户头，一台机器。而它们有一个共同的语法特征，这是本编的承重发现：
六次都只问"这个对象从哪来"，六次都没问"它怎么被接住"。
而共同语法还不是共同动作。语法说的是他们没问什么，动作说的是他们做了什么。那个共同动作有一个可以命名的形状，本书在第十三章正式给出它的名字—— 回溯性本体化：一件在特定条件下被稳定化出来的成果，被回溯性地提升为"世界本来如此"的证据。上面那张户头表的六行，是同一个动作在六个不同高度上的六次执行；而高度一次比一次低、一次比一次难攻，动作一次未变。
这不是六个人的疏忽。这是问句本身的形状决定的—— 当你手上拿着的是一件已经磨光的产物，你能提出的问句只有关于它出身的那一类。 你不会去问一颗鹅卵石"你是怎么被接住的"，你只会问"你原来是什么形状"。
而这，恰恰使得那道工序在整个发现派传统里完整地不可见。它不是被否认了，是从来没有进入视野。
回到母题的三个部件。
部件一（发现是发生的一个时相，不是对立面）：本编六次立法，每一次的对象都是一件已经成熟的产物 —— 柏拉图的完美三角形、欧几里得的公理体系、笛卡尔的几何观念、康德的欧氏空间、弗雷格的数、哥德尔的集合。没有一次是关于一个正在成形的东西的。 这直接证成了导论第三节那个入口：这个问句只在链跑完的地方提得出来。
部件二（争论争的是一份归属错觉）：六个户头彼此不相容，却各自都能自洽地解释全部现象。一个能被六种互不相容的方案同等地解释的现象，通常不是因为证据不足，而是因为现象本身不含裁决这些方案所需的信息——而它之所以不含，是因为含着那个信息的东西（土壤与路径）在它成为现象之前就被磨掉了。
部件三（代价在下一次）：本编末尾的新数学是第一次露头。回溯性本体化完成之后，"这个东西是怎么来的"在体系里就没有位置了——它不是被否认，是没有位置；而一个没有位置的问题不会消失，它会被外包。第十三章将指出它被外包到了三处：生成问题被外包给运气，创新机制被交给天赋，结构更新被交给偶然。三处都不可训练，于是这个体系在原理上不可能长出一套关于"如何生成"的公共工艺。发现派在哲学上从未被驳倒，也不可能被驳倒——但它在教室里输了一次，而且输的方式恰好是母题第三部件的预测：把产物磨得越干净、摆得越靠前，接收者越接不住。
本编级可推翻条件：若能在发现派传统中指出一位思想家，他在讨论"数学对象是否先在"时，正面处理了"一个还没有这个对象的人如何获得它"这一问句，并把后者作为前者的证据来使用，则本编"六次共同语法"的判断被推翻。本书作者已尽力寻找而未找到最强的反例是维柯，而他属于编二，不属于发现派。