引言：从计数到抽象
"三只羊"、"三棵树"、"三个孩子"——人类在远古的某一天意识到：这些场景里有某种共通的东西，不依赖于羊、树或孩子，只属于"集合本身"。这种共通的东西被命名为三。这一步抽象往往被看作数学的起点。
但仅仅有"三、四、五"这样的具体数还不够。真正让自然数成为数学对象的，是 1889 年意大利数学家朱塞佩·皮亚诺（Giuseppe Peano）的工作：他用五条简洁的公理，从"虚无"中重建了整个自然数王国。从那时起，自然数不再是计数的副产品，而是一个可以严格推演的形式系统。
本章要回答的根本问题是：什么是"数"？能否从最少的预设出发，生成全部自然数，并奠基一切算术？
一、皮亚诺的五条公理
皮亚诺的洞察是：要构造自然数，我们只需要两个原始概念——一个起点 0，以及一个"取后继"的操作 S。其他一切（加法、乘法、序、归纳）都可以从这两个原料中长出来。
五条公理如下：
P1（起点）：0 是一个自然数。
P2（后继封闭）：每个自然数 n 都有唯一的后继 S(n)，并且 S(n) 也是自然数。
P3（0 不是后继）：不存在自然数 n 使得 S(n) = 0。
P4（后继是单射）：若 S(m) = S(n)，则 m = n。
P5（归纳公理）：若集合 K \subseteq \mathbb{N} 满足两个条件——0 \in K，以及对任意 n \in K 都有 S(n) \in K——那么 K = \mathbb{N}。
仅仅五条公理，看起来过分简单。但它们已经精确地"刻出"了自然数：
P1+P2 保证序列
0, S(0), S(S(0)), …
永远不会停下；
P3 保证这个序列不会"绕回起点"，即不存在循环；
P4 保证序列不会"分叉"，每个数只有唯一前驱；
P5 保证
除了这条链之外，没有别的自然数
——它把"自然数"的边界封死。
把它写成简记：自然数就是一条没有起点之前、没有循环、没有分叉、没有外岛的单向无限链。
图 1：后继链
0 → S(0) → S(S(0)) → ⋯
。P3 禁止任何箭头指回 0；P4 禁止两个不同点指向同一目标；P5 保证图中所示就是自然数的全部。
二、归纳公理：第五条为何如此关键
读到这里，一个自然的疑问是：前四条已经很清楚，第五条为什么也要拎出来作为"公理"？答案是：没有 P5，前四条管不住"外岛"。
设想一下：如果把整数 \mathbb{Z} 拿来——以 0 为起点、把 S(n) = n+1 作为后继——它似乎也满足 P1–P4。但 \mathbb{Z} 显然不该是自然数。问题出在哪里？问题在于 \mathbb{Z} 里有一些点（比如 -1, -2, \ldots）你从 0 出发取后继永远到不了。这些就是"外岛"。
P5 的意思就是：从 0 出发、能用 S 一步一步够到的所有点，就是全部自然数。它把自然数从"任意结构"压缩为"0 生成的最小后继封闭集合"。这正是"自然数没有冗余、没有缺漏"的精确表达。
归纳法 = 一次过的多米诺
把 P5 翻译成证明工具，就是大家熟悉的数学归纳法：要证 "对任意自然数 n，命题 P(n) 成立"，只需做两件事：
基础步
：证
P(0)
；
归纳步
：证若
P(n)
成立则
P(S(n))
成立。
令 K = \{n \in \mathbb{N} : P(n) \text{ 成立}\}，则 0 \in K，且 n \in K \Rightarrow S(n) \in K。由 P5，K = \mathbb{N}。证毕。
多米诺骨牌的比喻在这里精确得近乎严苛：基础步 = 推倒第一张；归纳步 = 任何一张倒下都会撞倒下一张；P5 = 这两件事合起来必定推倒整条链。
图 2：归纳法的多米诺直觉。第一张倒下（基础步）+ 每张都会撞倒下一张（归纳步）= 整条链一定全部倒下（P5 公理）。
强归纳与良序原理
P5 还有两个等价形式，常常更好用：
强归纳（完全归纳）：要证 P(n)，可以假设 P(0), P(1), \ldots, P(n-1) 全部成立来推 P(n)。
良序原理：自然数的任何非空子集都有最小元。
这三种叙述（普通归纳、强归纳、良序）在 ZF 集合论里互相等价，可以由其中任一推出另外两个。它们分别突出了同一件事的不同侧面：递推、累积、终极存在性。
三、用归纳法做点真活：求和公式
抽象的公理需要用一个具体例子证明它能干活。我们来证明小学就会念的求和公式：
基础步（n=0）：左边等于 0，右边 \frac{0 \cdot 1}{2} = 0，相等。
归纳步：假设 P(n) 成立，要证 P(n+1)：
这正是 P(n+1) 的右边。由 P5，P(n) 对一切自然数成立。\blacksquare
这个证明的奇特之处在于：我们没有"算"任何具体的总和，没有遍历无穷多个数，却得到了对所有自然数都成立的结论。这是 P5 给我们的最珍贵的礼物——用有限的两步覆盖无限的对象。
四、加法和乘法是怎么"长出来"的
有了 0 和 S，整个算术都可以递归地定义。这样定义的好处是：每条性质（交换律、结合律、分配律）都可以用归纳法严格证明，而不是当作"显然"。
加法的递归定义
第一行说"加 0 不变"；第二行说"先把第二个加数减一加给被加数，再取一次后继"。这个递归在终止性上是自动保证的——第二个加数每递归一层就减一，必然在有限步内到达 0。
从这个定义出发，可以归纳地证明 m + n = n + m、(m+n)+k = m+(n+k)。这些"一目了然"的算律，本质上是对 P5 的反复应用。
乘法的递归定义
它是加法的迭代：m \cdot n 等于 m 自加 n 次。再上一层就是指数 m^n，是乘法的迭代。继续往上，是高德纳箭头记号、阿克曼函数——一整族超指数运算都是同一种递归思路的产物。
递归原理为何依赖 P5
看似简单的"递归定义"在数学上需要一个非平凡的定理来保证：它不只是写得出，更要能定义出唯一的函数。这就是递归定理：给定起始值和"如何从 f(n) 得到 f(S(n))"的规则，存在并仅存在一个函数 f : \mathbb{N} \to X 满足这两条。
这一存在唯一性的证明本身就要用归纳公理 P5——所以加法、乘法、指数能被合法地"定义出来"，根源还是 P5。这是一个深刻的循环但并不恶性：算术的合法性建立在归纳公理上，归纳公理则是自然数本身的几何性质。
五、序也是从后继长出来的
有了加法，定义"小于等于"只需要一行：
从这个定义出发，反身性、传递性、反对称性、全序性都可由归纳法证出。良序原理（任何非空子集有最小元）则进一步给出一个特殊性质——自然数的序没有"无限下降链"。这是数学许多反证法（无穷下降法）的根基。
六、皮亚诺系统的"刚性"：范畴性
有趣的事实：满足 P1–P5 的系统，本质上只有一个。更精确地说，任何两个满足皮亚诺公理的系统之间存在唯一的保结构同构（保 0、保 S）。这叫做二阶范畴性（categoricity）。
这意味着：当我们说"自然数"，我们说的是一个独一无二的数学结构，不是一类结构。这让自然数在所有数学对象里有一种特殊的"基石"地位——其他数（整数、有理数、实数、复数）都是基于自然数构造出来的，而自然数本身只能由自身公理刻画。
顺带一提：如果把 P5 换成一阶逻辑下的"归纳模式"（无穷条单独的归纳语句），上述范畴性会失效，会出现"非标准模型"——里面有"无穷大自然数"。这是 20 世纪数理逻辑里一个奇妙的发现，留作后续章节的伏笔。
结语：为什么自然数是数学的开端
本章用五条公理换来了一整片天地：
从
0
和
S
两个原子，构造出无限多的自然数；
由归纳公理，得到一台可以一次性推断"无穷多命题"的机器；
由递归定义，把加法、乘法、指数从同一种"逐层叠加"的几何动作中长出来；
由序的派生，得到良序原理与无穷下降法。
整个建筑只用一个起点、一个原始操作，就让"算术"成了可证明的科学。这就是皮亚诺给数学的礼物：数学的最初抽象，本质上是一种"递归生成"的几何。
与下一章的纽带
自然数虽然完美，但它有一个明显的"短板"：对加法和乘法封闭，对减法不封闭。3 - 5 在自然数里没有答案。要修补这个缺陷，就必须发明负数。整数和有理数将在下一章登场——它们的诞生不是为了"装饰"，而是为了让运算"封闭"。这个"运算封闭性"的追求，将贯穿数系的全部扩张：从 \mathbb{N} 到 \mathbb{Z}，到 \mathbb{Q}，到 \mathbb{R}，再到 \mathbb{C}，乃至四元数与八元数。