被提出。 一个人对着一件磨光的东西问：你原来是什么形状？这个问句是自然的，甚至是不可避免的 —— 因为那件东西的形状使它只能被这样问。柏拉图为它另立了一个世界，欧几里得把它做成了一台不需要信徒的机器，笛卡尔把账记进了灵魂，康德把它守到了主体的形式，弗雷格划了一条边界把它逐出数学，哥德尔说他能看见。六次立法，五个户头，一台机器；六次都只问"这个对象从哪来"，六次都没问"它怎么被接住"。
被反攻。 亚里士多德拆掉了那个多余的世界，维柯说出了"知道一件东西就是知道它的来路"，布劳威尔在数学内部真打了一仗并且自己出钱，皮亚杰去看孩子并且记录，拉卡托斯翻出了两百年的档案，拉图尔与伍尔加蹲了两年实验室。六次都赢了局部。而六次都必须为自己另立一个先在，因为那个问句的语法里必须有一个主语。
被解剖。 那道工序有三步，有九份材料，落在排版上，被当事人指认过，而且是文明的必需——它不能被取消，问题只在于适合存储的形态被原样当成了适合习得的形态。 一次格式的僭越，没有人决定过。
被诊断。 发现学不是没有回写。它照样回写，只是落错了层：写进底盘的不是这个概念的来路，是一条关于底盘本身的规则——这类对象无须改动我。这条规则由每一次成功的接收加固一次，由所有失败的归因保护其不被推翻，因而只进不退；而它的内容恰好使后续的改写不再被触发。于是一个认知动作的成功执行，取消了它自己后续执行的条件。
被重审。 发现／发明是空的，先天／后天两派共用一个未检验的前提，传授／探究被搬到了错误的变量上，实在论／建构论的双方在两侧之间换来换去而不自知。四组，同一处误置的四个面；而那处误置，正是那条不区分两侧的元层规则留下的印子。
被换掉。 不问归属，问工序。先解锁，再还原；把困境还回去，把路径重铺，把定义挪回结算点。而全部主张被交给三个尚未执行的实验，连同三条撤稿级条件。
如果这本书只能留下一句，那句话是：这道工序在三个尺度上都靠成功推进，不靠失败。
制度层：光滑化的每一次制度化，不是由某个人决定的，是由某个成功决定的。
学科层：做得最好的那一份，遮蔽力也最强。
个人层：元层那条规则不是由某次失败写下的，是由某次成功写下的。
因此它不可能被"做得更好"所解决。 讲得更清楚、例子更贴切、练习更充分——在这个机制下全部是加固。这是本书最不受欢迎的一句，也是它与几乎所有教学改进方案的分歧所在。
出路不在"更好地递送"，在换一个动作：不把成品从教师这端送到学生那端，而是在学生那端，重新把发生点燃一次。
那个古老的问题—— π 在人类出现之前存在吗——本书没有回答，而且论证了它不含裁决信息。
这对一部分读者是一次拒绝，本书承认。但请注意本书拒绝的方式：它不是宣布那个问题无聊，而是指出那个问题的提出条件本身是那道工序的产物，因而它在原理上不可能被上游的证据裁决。一个问题被证明不含裁决信息，与一个问题被认为不值得问，是两回事。
而那个问题里可以打捞的东西，本书打捞了：数学家在实际工作中判断"这个东西该去找还是该去造"，那是一个真的、重要的、可以被训练的问题——只是它问的是下一步动作，不是两千年前。
本书从一个课堂现象开始：一节精良的分数课，当堂全对，一周后近一半的孩子说1/3 比 1/2 大。
现在可以把它说完了。那半个班的孩子不是没学到东西。他们学到的是一套关于"数学是什么样的东西"的完整规矩，而且学得很好：这类东西是现成的，收下它不需要我改变什么，会用就算会了。这一课他们学得比分数那一课扎实得多，因为它每天都在被重讲。
于是本书留给每一位教师的，不是一份结论，是一道困境——按本书自己的规矩，一本书的结尾应当是一个新的口子，而不是一个句号：你今天教的那个概念，你的学生答得出"它本可以不是这样吗"吗？如果答不出，你打算怎么办？
数学对象不在课本里，它在学生走通的那条路的尽头；而在他能走那条路之前，得先有人告诉他，这里本来就有路可走。
课本里那个光滑的定义，只是这条路被磨平之后的遗骸。它不假，它是真东西——它只是被减过，而减掉的，恰恰是学生能够改写自己的唯一凭借。
教育的手艺，先是让一个人相信这里曾经有过一条路，再把它重新铺得足够粗糙，好让他的脚能真正踩上去，一步一步，把那个对象重新走出来。