第一版结语原题《它的名字里永远留着那一天三家说的那个「不」》，因名字化石律判负而改题。第二版沿用改后的题，并加后半句——因为第二版多了两层，而那两层的东西是谁都要的。
数学哲学问了两千年「数学对象在哪儿」。本书问的是「它怎么出生」。
第一版的答案是一张表，四个格子。第二版的答案是：先问它出生时有几个位置在争。
三个都在争，且有一条三家共有的前提被推翻——账本多一栏。落下来的是一个三家都不要、而三家的证据合起来只能得出的存在物。它出生时被一致拒绝（0.912），要等一个可显示的形出场、等计给它签字，等的时间从二十年到两千三百年不等。
一个位置固化、两个在争，而没有任何前提被推翻——栏内多一个单位或一条过程。它是被架通的、被抽出的、被切出来的、被发了身份证的。没有人不想要它，它的阻力不在拒绝，在等实例到齐。这一层最丰产，数学里最漂亮的那些方法与最好用的那些名目都在这里。
两个位置固化——只是准入放宽。九成以上的数学工作在这一层，而它不是低强度的创新，它是另一种东西：它造签字工具，它把账本做厚，它把一条路走到尽头从而逼出断裂。没有它，上面两层一件也发生不了。
三层不是同一种东西的三个强度。 这是第二版唯一有检验支持的一条：四十例中零例可指认出「一件自家旧材料推翻了什么」——材料来源规则在一固层不适用，不是成立。第一版的三件承重物只在三活层有意义。
而第二版自己的账也要摊开。四条真跑全过，其中三条几乎不可能不过：E 型的预测覆盖三分之二的可能性，S 型指的是最常见的一种，真跑四接近同义反复且它的判据由其中两个例子逼出、又由那两个例子确认。本轮唯一未被稀释的是真跑三，而它的零命中有一个排不掉的替代解释——候选池是作者列的。
第一版有十四条方法论欠账，偿了两条；第二版新增五条，其中一条最严重：入池标准缺一道闸——先判它是不是一个概念。 是一条被移出候选池的定理查出来的，而那是第二版三次重判中唯一对本书不利的一次。
判负可信，判正不可信。 这是单人编码的代价，第一版记过，第二版仍然记着。而本书两版加起来推翻了自己四条断言、撤回两条修正、改判两处自相矛盾、查出四处证据经不起查。
至于那个三活层的对象——
它出生的那一刻，三家的账本上都没有它的位置。说它不可能的人没有说错：在那一刻，账本上确实没有。错的只是把「账本上没有」当成了「不该有」。
而它之所以还是来了，不是因为有人想要它。三家都不要它，而三家自己的证据合起来，只能得出它。
至于下面那两层的东西——谁都要。它们从不被拒绝，也从不被写进哲学。而没有它们，那个谁也不要的东西，一件也生不出来。