第三十二章 从“一个”到数：
单位、后继与归纳怎样获得根基
32.1 一个单位的整体性和可重复辨认
“一个”看起来是最不需要解释的词，但数学的基础恰恰从这里开始。桌上有一张纸，把它剪成两半，究竟还是一个，还是两个？把两滴水合在一起，究竟是二变成了一，还是计量单位改变了？这些问题并不推翻算术，而是提醒我们，数的使用依赖对象怎样被辨认为单位。
本章先研究一个有限而清楚的任务：数一组可区分的卡片。每张卡片具有在当前任务中能够保持的身份，卡片是否重叠、是否翻面，不改变它仍然是一张卡片。若卡片被切开，是否仍按原卡计数，需要重新规定。单位不是只由视觉轮廓自然给出，而由对象、操作与任务共同确定。
在SDE语言中，单位的显露S依赖能够区分和再次辨认的差异序列D，以及使身份、边界和允许变化相互规定的特征纠缠E。符号学的整体性、稳定性、独立性在这里直接参与数学。没有可辨认单位，计数就可能重复或遗漏；只有单位名称而没有辨认关系，数字序列也无法可靠落在对象上。
可以构造两次计数。第一次从左到右逐张标记，第二次把卡片打乱后重新计数。若每次都使每张卡片恰好对应一个计数位置，结果应当相同。保持的不是访问顺序，而是一一对应关系。这个关系使“卡片总数”能够摆脱某一次排列，成为可独立研究的对象。
为什么一一对应能够支持这种保持？设第一次计数把卡片分别配给位置集合A，第二次配给位置集合B。先按第一次对应找到卡片，再按第二次对应找到位置，就得到A与B之间的对应。每个位置有且只有一个去向，每个第二次位置也有来源。两次计数因此并不是两个互不相关的结果，而是通过同一批单位发生了结构连接。
这个论证使用的是对应的组合，而不是“看起来一样多”的直觉。它也说明，数的认知不能只学会念数字。学生可能流利说出一到十，却在对象上重复指认某张卡片，或者漏掉被遮住的一张。数字声音的序列已经形成，不代表计数关系已经完整成立。
由此可以设计有区分力的学习变化。保持卡片不变而改变排列，检查数量是否稳定；保持排列大致相似而增加一张卡片，检查判断是否敏感；把同一卡片重复出现在两张照片中，检查学生数的是物理卡片还是图像出现。每个任务都使“一个”的边界变得更清楚，而不是只增加练习次数。
数的对象还可以从个体身份中进一步抽象。两组不同卡片之间若存在一一对应，可以在当前数量意义上视为等量，而不要求卡片颜色和内容相同。这样，数量同一与对象同一被分开。三张红卡和三张蓝卡不是同一批对象，却可以具有相同数量结构。数学的统一来自明确保留关系，而不是抹去一切差异。
这一抽象也具有边界。若任务关心卡片内容，单纯数量同一就不足；若关心三个人能否合作，人数相同更不保证结构相同。数学表达保留了一类关系，同时暂时舍去其他关系。发生性认知需要知道这种舍取，而不能把数值相同当成整体存在相同。
“零”也应当在具体构造中理解。一个允许为空的卡片集合没有成员，可以对应一个空计数过程。空过程不是数学活动失败，而是被明确纳入的对象情形。若语言只允许指认有物的情况，就可能把零当作没有意义的符号；允许空构型进入，单位与后继的结构才有清楚起点。
因此，数的基础并不在“一比二简单”这种教材顺序里，而在单位辨认与数量保持怎样建立。三原理在这里可以组织一项发生重构：原有外观判断与排列变化出现张力，促使数量同一作为新显露；新的数量要求又改变计数序列，并使一一对应进入E。一个熟悉的数概念，由此获得可追问的发生根基。
32.2 计数中的差异序列与后继操作
为了把计数进一步形式化，本章使用由一个记号“点”构成的有限字符串。空串记为零对象，在一个串末尾添加一个点，得到它的后继。这里的对象是可操作的形式项，不是先假定全部自然数已经存在，再换一套名称。与此同时，我们承认对“有限字符串”的说明使用了日常有限构造与相应元语言。
这样的构造使几个基础性质获得清楚内容。空串不等于任何添加了一个点的串，因为后者至少具有一个记号；两个串若添加同样的末尾点后相同，删除各自末尾点，就恢复相同原串。后继因此不会把两个不同的串压成同一个结果。这些性质来自对象辨认和允许操作，而不是来自对数字形状的记忆。
后继还使差异序列能够稳定推进。一个串到其后继，增加的不是任意新内容，而是同一种单位记号；不同阶段的对象可以通过这个操作接合。若每次增加的“一个”含义不同，序列就不能承担统一计数。例如，第一次加一张卡片，第二次加一组卡片而仍称为加一，必须说明计量单位已经改变。
在真实计数中，这要求对象单位、访问次序与记录方式互相支持。每访问一张尚未计入的卡片，就推进一次后继；访问结束时，记录与全部单位之间形成对应。这个过程中的D不是机械念数，而是区分已计与未计、保持对象身份、推进记录的序列。E则使这些差异共同指向同一计数任务。
形式对象可以帮助我们把这些关系稳定下来。空串、添加操作和相等辨认构成一个最小生成方案。所有被允许的对象都由空串经过有限次添加得到，不额外加入与此过程无关的对象。这个最后的要求非常重要，它将直接关系到归纳原则。若没有它，前面几个局部性质并不足以决定整个对象域。
先看一个有限反例。取四个状态零、一、二、三，后继按循环方式推进，三的后继回到零。这个后继是可逆的一一对应，但零成为某个对象的后继，因此不符合上述空串起点的性质。循环计数适合时钟或转位签，却不能不加区分地代替没有回返的后继结构。
这个例子说明，后继的“再来一个”与循环的“下一格”具有不同关系。两者都可以在SDE发生学中发生，却产生不同数学。共同发生框架没有取消具体公理的差异，反而要求我们看清每一种生成方式保留了什么。把所有序列都叫增长，会掩盖结构上的不同。
再构造一个更有力的边界对象。取一条从零开始、只向前延伸的链，另加一条在两个方向都无限延伸、与前链互不相交的链。后继在每条链上都向前一步。它仍然可以保持单射，零也不是任何对象的后继；然而，第二条链的成员并不能从零经过有限次后继到达。
这个构造表明，后继单射与零无前驱，并没有排除额外对象。若要使对象域恰好由零和后继生成，还需要某种没有额外成员的要求。这个要求不是形式上可有可无的补充，它决定了数的整体范围。局部运行关系与整体生成范围，由此被清楚地区分。
本章使用这个对象时，只讨论完整子集层面的生成与归纳，不把“第一条链”在某种受限一阶语言中是否可定义的问题混为一谈。不同逻辑语言能够表达不同强度的归纳，不能仅凭这幅双链图就对所有形式算术系统作出结论。基础研究需要在这里保持语言层级的明确。
后继的发生因此不只提供一个动作，还提出了对象域怎样闭合的问题。这个问题把差异序列推进到数学场态：所有允许对象如何共同构成一个整体，哪些对象被排除，哪些生成步骤足以覆盖全部。归纳原则将在这个关节上获得发生性的解释。
32.3 有限操作与无限表述之间的桥接条件
学习者可以实际写出许多点串，却不可能通过一次课堂活动逐个完成所有有限长度。由有限操作经验走向关于全部对象的陈述，需要明确桥接条件。不能因为前一百次添加都成功，就宣布已经用经验验证了所有后继情形；也不能因为看不完全部实例，就认为一般数学无法成立。
一个方法是把对象域直接定义为按生成规则得到的全部有限项。这个“全部”是形式承诺，不是一次实际完成的无限清点。研究者接受某种关于有限构造的元理论，并在其中研究对象。如此可以严格推演，但必须承认所使用的背景条件，而不能把它们隐藏成未经说明的直觉。
另一个表达，是要求对象域为包含零且对后继封闭的最小部分。所谓最小，不是元素数量最少的模糊说法，而是不存在一个真子集既包含零、又对后继封闭，却仍然被当作整个对象域之外的更小生成域。这个要求把“没有多余对象”写成了整体性质。
为什么这个最小性与归纳有关？设P是对象域中的一个性质类。如果零具有P，而且每个具有P的对象，其后继也具有P，那么P所成的子集包含零并对后继封闭。若整个对象域是最小闭合域，就只能全部落在P中。因此，归纳结论由最小闭合要求获得支持。
反过来，如果对所有子集都接受这样的归纳要求，那么任何包含零且对后继封闭的子集都必须是全体，所以不存在更小的闭合生成域。两种说法在这个明确的子集语境中相互推出。这里得到的是归纳与最小生成承诺之间的等价关系，而不是从完全不含归纳思想的前提凭空证明归纳。
这项等价正是发生性认知的价值所在。它使学习者知道，归纳不是老师要求接受的一句神秘规则，而是在表达对象域由指定起点与操作穷尽生成的承诺。同时，它也让研究者看见，若希望进一步奠基这个承诺，还需要研究“全部子集”“最小域”和“有限生成”的元理论基础。
双链反例在这里得到明确用途。包含零的那条链自身对后继封闭，却不是全部对象域。因此，它违反最小生成要求，也违反对所有子集的完整归纳要求。反例没有攻击后继单射，而是准确指出整体范围的额外承诺不可省略。
有限循环则从另一个方向显示边界。它没有无前驱的零，但可以由某个起点反复后继覆盖全部四个状态。最小生成与零的特殊地位是不同条件，不能互相替代。一个条件负责域的覆盖，另一个条件负责序列的无回返起点；共同成立才形成我们当前希望表达的数结构。
三原理在这个过程中可以有具体的组织作用。局部后继性质与额外对象的出现形成张力，促使整体生成条件进入E；新的E又改变S中“全部数”的含义，并要求D中的证明方法从逐例检查转向归纳。这里不是给公理事后贴标签，而是让缺失条件通过反例迫使表达升级。
不过，三原理并未自动替我们选择接受何种无限承诺。它帮助定位必须作出的选择，具体数学基础仍需公开语言与逻辑。把这种选择显露出来，已经比把全部基础规则当作无发生史成品向前推进了一步；要证明更强的普遍奠基命题，还需要继续建立新的桥梁。
32.4 归纳原则的发生重构与形式地位
归纳的教学可以围绕一个明确问题展开：怎样证明每个由零和后继生成的对象都具有某性质，而不逐个检查全部对象？学习者先验证起点，再证明任何一次合法生成都保持该性质，最后利用对象域没有额外成员的承诺完成整体判断。三项工作缺一不可。
例如，考虑每个点串与其自身连接后得到的串。我们可以研究它是否总能分成两个相同部分。对空串成立；若原串具有明确长度结构，添加一个点以后，两个副本分别增加一个点，仍然保留相同部分。这个例子主要展示保持思想，若进一步使用长度和加法性质，则要说明这些工具在当前证明中已经获得什么地位。
为了避免循环，本书不把关于字符串长度的归纳证明再包装成对全部归纳原则的绝对证明。我们是在一个允许有限项与相关推理的元理论中，重构某类对象为何适合归纳。认识到这一点，能够帮助学生区分证明一个命题与研究一种证明方法本身的基础。
归纳也不能被误教成“检查开头几项，再猜后面一样”。后继保持需要对任意当前对象成立，而不是只对已经看过的对象成立。一个序列前十项满足某规律，第十一项可以不同；有限相似没有自动提供保持规则。真正的归纳结构来自明确生成与保持，而不是来自重复次数。
同样，保持步骤不能偷用目标结论。若要证明每个对象都满足P，只能在规定的推理中使用当前对象满足P这一归纳假设，再证明其后继；不能直接假定所有对象都满足P。假设的范围和位置是形式逻辑要求，发生性理解则说明为什么这样的局部保持能够接上整体生成域。
这个重构让数的基础与创造发生联系起来。研究者面对新的递归对象，例如有限树、表达式或操作历史，可以先明确生成规则，再寻找相应的结构归纳。这里不是机械套用自然数公式，而是理解“由哪些构造穷尽对象”怎样规定证明方式。根知识因此可以支撑新对象的研究。
但是，不同生成器可能带来不同保持任务。一个对象由两部分组合而成，证明性质时就可能需要同时假设两部分满足条件；一个对象允许循环引用，普通有限结构归纳可能不够。迁移要求重新研究生成关系，而不能只把所有过程都叫后继。
本章的数学成果可以明确列出：在有限点串构造中，空项不属于后继像，后继具有可取消性；在完整子集语境中，归纳要求与最小后继闭合相互对应；双链与循环构造分别展示这些条件不能互相代替。它们是条件明确的构造与论证，不是对全部数学基础的终局证明。
本章的发生学成果，则是使单位、后继和归纳不再被当成互不相关的基础信息。单位辨认使差异能够被稳定计入，后继使计数获得可推进关系，最小生成使全部对象形成整体范围。S、D、E在这些层次上相互规定，三原理帮助我们在反例中找到需要重构的维度。
从后继归纳走向新对象的结构归纳
数的归纳根知识，还可以在新对象中显示迁移价值。设一种表达只允许两种构造：一个基本叶项，以及把两个已经形成的表达接成一个分叉。对象域规定为由这两种方式有限次生成的全部表达，不另添无法由它们形成的对象。它可以代表简单语法树，也可以作为纯形式构造；本章不把这种二叉组织视为全部思维的真实结构。
若要证明每个表达都具有性质P，仅仅检查一个“后继”动作便不够。需要先证明叶项具有P，再证明只要左、右两个子表达分别具有P，它们的分叉也具有P。最后利用对象域完全由这两种构造生成的承诺，才能把局部保持推广到全部对象。新的生成方式要求新的归纳结构，而不是在现成自然数归纳公式里换几个字母。
给一个具体性质：每个这样的表达，叶项数比内部的二分叉数多一。叶项本身有一个叶、零个分叉，性质成立。若左子表达有l₁个叶和b₁个分叉，右子表达有l₂个叶和b₂个分叉，组合后叶项总数为l₁+l₂，分叉总数为b₁+b₂+1。利用两个子表达各自的等式l₁=b₁+1、l₂=b₂+1，便得到总叶项数等于总分叉数加一。这个证明的关键，是构造规则把计数如何组合规定得足够清楚。
现在把生成规则改为允许只有一个子项的单分叉。原性质就不再对所有对象成立：一个叶上加一个单分叉，仍只有一个叶，却有一个内部分叉。它直接击中原等式。失败不说明归纳无用，而说明原性质表达了“两支共同生成”的结构承诺。若新的任务确实需要单分叉，就应当重建计数关系，例如分别记录单分叉与二分叉，而不能继续维护旧等式的普适性。
这个例子把三原理与数学创造接到具体处：新的差异材料不能被旧结构承接，迫使对象构造改变；对象改变以后，证明的局部保持步骤也必须改变；新的计数与分类又回写我们如何辨认表达。根知识不只是会背归纳规则，而是知道生成方式怎样规定证明方式，以及规则改变会要求哪些新知识。
下一章进入集合、关系与映射。那里，我们将继续研究一个对象域如何形成，什么算同一个成员，怎样使对应成为可共同使用的结构。数的发生并没有结束数学的基础追问，它只是打开了一个清楚的入口，让后续公理能够回到各自的生成条件。
章末来源与论证身份
[4]数学基础公理的发生学总命题。点串、循环、双链以及最小闭合与全子集归纳的论证均在本章给出；使用通常集合、有限构造与逻辑作为公开的元理论。未把有限经验或一阶可定义性问题混同为完整归纳原则的无前提证明。
本次增厚中的构造、条件分析与教学材料为本书的进一步展开，不作为三篇理论底本已经给出的结论。