康托尔 · 无穷也可以比较

三角级数的样子是这样的：

f(x) ＝ a₀/2 ＋ Σ (a_n cos nx ＋ b_n sin nx)

求和从 n ＝ 1 到无穷。每一项是一个周期为 2π/n 的波：n 越大，波越密。整串加起来，密波负责细节，疏波负责大体走势。

系数怎么定？用积分「筛」出来。因为三角函数之间有一种正交性——两个不同的波乘起来，在一个整周期上积分为零：

∫₀^2π cos mx · cos nx dx ＝ 0　(m ≠ n)
∫₀^2π cos² nx dx ＝ π

把级数两边同乘 cos kx 再积分，右边除第 k 项外全部归零，于是

a_k ＝ (1/π) ∫₀^2π f(x) cos kx dx

这个「筛」的动作有个前提：积分与无穷求和可以交换次序。对有限和，天经地义；对无穷和，未必。十九世纪初的数学家大多没在意这一层，直到有人发现反例。

举一个能算的例子。取方波：在 (0, π) 上等于 1，在 (π, 2π) 上等于 −1。它的展开是

f(x) ＝ (4/π) [sin x ＋ sin 3x/3 ＋ sin 5x/5 ＋ …]

只取头一项，得到一条正弦曲线，峰高 4/π ≈ 1.273，比方波高出近三成；取前三项，峰高降到约 1.104；取前五项，约 1.058。峰越来越贴近 1，却总是高出去一点点——这个「高出的一点点」后来被人叫作吉布斯现象，它提醒人们：无穷和不是有限和顺着走下去，它在极限处会冒出新的东西。

设两个三角级数在区间上除了某个点集 E 之外处处相等。E 就是「例外集」。康托尔要问的是：例外集要坏到什么程度，唯一性才会失效？

先看最简单的例外集：一个点。结论仍然成立。再看两个点、三个点、任意有限个点：都成立。接下来他试着让例外点有无穷多个，但要求它们不能「挤」在一起。

「挤在一起」需要一个精确说法。他的定义是：若一个点 p 的任意小邻域里都含有 E 中异于 p 的点，则称 p 是 E 的聚点。所有聚点收起来，得到一个集合，记作 E′，叫 E 的导集。

拿具体的集合试。设

E ＝ {1, 1/2, 1/3, 1/4, …} ∪ {0}

1 是聚点吗？1 附近只有它自己，别处都是空隙，不是。1/2 呢？同理不是。取 1/k，它的邻居是 1/(k−1) 与 1/(k＋1)，中间隔着一段距离，也不是聚点。只有 0 是：不管留出多小的邻域，里面总能找到形如 1/k 的点。所以

E′ ＝ {0}

再往下导一次：{0} 只有一个孤点，没有聚点，故 E″ ＝ ∅。这个例外集只经得起两次剥离，就干净了。

康托尔由此给出判据：若某个例外集 E 在第 n 次求导后为空（E⁽ⁿ⁾ ＝ ∅ 而前一次非空），则称它属于第 n 类；唯一性依然成立。这一步把「稀疏」这个含混的词换成了一个可以逐次检验的操作。

如果每次求导都能剥掉一层，那么剥有限次就干净了。康托尔接着问：有没有剥不干净的集合？

有。构造不复杂：取两层嵌套的点列。先摆第一层：

E₁ ＝ {1/m ＋ 1/n ：m, n ＝ 1, 2, 3, …}

固定 m，让 n 变大，1/m ＋ 1/n 就趋向 1/m。所以 E₁ 的导集把它自己那一串「1 除以整数」全收了进来，还多收了 0：

E₁′ ＝ {1, 1/2, 1/3, …} ∪ {0}

这一步等于把第一层换成了上一层见过的样子。再导一次，就只剩 {0}；第三次为空。三层剥完，仍属有限类。

要造出剥不完的，就把这种嵌套做到底：让集合的导集、再导集、三阶导集……每一阶都还剩下东西，一直剩下去。康托尔造出了这样的集合，并给它一个判据：若对一切有限的 n 都有 E⁽ⁿ⁾ ≠ ∅，则称 E 属于无限类；把所有阶导集的交记作

E^(∞) ＝ E′ ∩ E″ ∩ E‴ ∩ …

这个交还可以继续导下去：E^(∞＋1)、E^(∞＋2)……「再剥一次」这个动作，第一次出现了「做完了无穷多次之后再做一次」这种说法。

这一步在当时只是一项技术需要：为了把唯一性定理的例外情形说全。可它留下了一个记号——∞ ＋ 1。一个表示次数的数，加上 1 之后还比原来大，而它前面已经排了无穷多个数。康托尔把这个记号放在抽屉里，十多年后才重新取出来，那时它已经长成了另一门学问。

先说清楚「一样多」在数学里怎么写。

设两个集合 A 与 B。若存在一种配对方式，使 A 的每个元素恰好配上 B 的一个元素，B 的每个元素也恰好被配上一次，就称 A 与 B 之间有一个一一对应，并称二者等势。

对有限集，等势就等于元素个数相同，这是小学常识。真正的新东西出现在无穷集上。取自然数集 ℕ ＝ {1, 2, 3, …} 与偶数集 E ＝ {2, 4, 6, …}，配对方式是

n ↔ 2n：1↔2，2↔4，3↔6，4↔8，…

每个自然数有唯一的偶数对应，每个偶数也有唯一的自然数对应，一个不多一个不少。于是偶数与自然数一样多。

这件事在有限的世界里绝不可能：偶数是自然数的一部分，而且还只是一半。可这里「一部分」与「全部」势均力敌。「整体大于部分」这条从欧几里得起就被当成公理的句子，在无穷集上失效了。

失效不等于矛盾。它只是说明：「大于」这个词在无穷上的含义需要重新规定。合理的规定是：若 A 能与 B 的某个子集一一对应，则称 A 的基数不大于 B；若同时二者不等势，才称严格小于。按这个规定，偶数集并不比自然数集小。

于是新的问题浮出来：有没有哪个无穷集，比自然数集严格地大？如果有，它就排不成一列——因为「排成一列」正是与自然数一一对应的意思。

有理数是形如 p/q 的数。它们在数轴上稠密到极点：任意两个有理数之间还有有理数，永远挤得进新的。这样的集合看上去远比自然数多，可康托尔给出的排法只用了一张表。

把正有理数按「分子加分母」的和分组，和小的在前：

和 ＝ 2：1/1
和 ＝ 3：1/2，2/1
和 ＝ 4：1/3，2/2，3/1
和 ＝ 5：1/4，2/3，3/2，4/1
和 ＝ 6：1/5，2/4，3/3，4/2，5/1

每一组里，让分子从小到大排。然后把重复的划掉（2/2 就是 1/1，2/4 就是 1/2），得到一列：

1/1，1/2，2/1，1/3，3/1，1/4，2/3，3/2，4/1，1/5，5/1，1/6，2/5，3/4，4/3，5/2，6/1，…

逐项编号：第 1 项 1/1，第 2 项 1/2，第 3 项 2/1，第 4 项 1/3……每一个正有理数都会在某一组出现，而每一组只有有限项，所以它一定在有限步之内被点到。

这条理由要说得更死一点：任取 p/q，它的和是 p ＋ q。和比它小的组只有有限多个，每组又只有有限项，所以排在它前面的项数有限。这就是「可数」的全部含义：不是数得完，而是每一个都能在有限步内数到。

再加上负有理数与零，也不增加困难：正负交错排即可。于是整条数轴上密密麻麻的有理数，与 1, 2, 3 … 一样多。

这个结论在当时已经让人不舒服。一条稠密的、到处都挤满了点的数轴，居然还能排成一列。那么，那些「排不成列」的东西，得密到什么程度才行？

有理数可数，还只是热身。康托尔 1874 年论文真正的第一击，是代数数也可数。

代数数指一切能当整系数多项式方程的根的实数。例如 √2 是 x² − 2 ＝ 0 的根；黄金比 (1＋√5)/2 是 x² − x − 1 ＝ 0 的根；∛2 是 x³ − 2 ＝ 0 的根。有理数全是代数数（qx − p ＝ 0 的根），所以代数数比有理数还多。

怎么排？按次数与系数的大小分层。给一个多项式

a₀ ＋ a₁x ＋ … ＋ a_nxⁿ　（a_n ≠ 0，系数皆整数）

定义它的「高度」为

h ＝ n ＋ |a₀| ＋ |a₁| ＋ … ＋ |a_n|

举三个例子：x² − 2 的高度是 2 ＋ 2 ＋ 0 ＋ 1 ＝ 5；x² − x − 1 的高度是 2 ＋ 1 ＋ 1 ＋ 1 ＝ 5；x³ − 2 的高度是 3 ＋ 2 ＋ 0 ＋ 0 ＋ 1 ＝ 6。

关键的一步在这里：高度等于给定值 h 的多项式，只有有限多个。理由是：次数 n 不能超过 h，每个系数的绝对值也不能超过 h，于是每个系数只有有限种取法，组合起来仍是有限种。比如高度 5 的多项式，枚举下来不过几十个。

每个 n 次多项式最多有 n 个实根。所以每个高度只贡献有限多个代数数。按高度 1, 2, 3, … 逐层排，层内按系数排，就得到一条完整的队列：

高度 2：−1，0，1（一次式 x、x＋1、x−1 的根）
高度 3：−2，−1/2，1/2，2，…
高度 5 起：√2，−√2，黄金比及其共轭，…

结果：全体代数数排得成一列。而实数有无穷多，若实数里绝大多数不是代数数，那些数就只能属于另一类——他给这一类起了个朴素的名字：超越数。1874 年那篇短文其实顺手证明了超越数存在，而且多到不可数，可当时几乎没有人注意到这一句。

证明用的是反证。假设区间 (0, 1) 里的全体实数可以排成一列：

α₁, α₂, α₃, …

目标是：找出一个数 ξ，它落在 (0, 1) 里，却不等于任何一个 α_n。找到就矛盾。

第一步。在 (0, 1) 里取一个闭区间 [a₁, b₁]，要求它不含 α₁，且长度小于 1/2。做得到吗？做得到：(0, 1) 挖掉一个点 α₁，剩下的部分分成左右两段，任取一段里的一小截闭区间即可。

第二步。在 [a₁, b₁] 里取闭区间 [a₂, b₂]，要求不含 α₂，长度小于 1/3。同样做得到：一个有点长度的区间挖掉一点，还剩两段。

一直做下去，得到一串嵌套的闭区间：

[a₁, b₁] ⊃ [a₂, b₂] ⊃ [a₃, b₃] ⊃ …
α_n ∉ [a_n, b_n]，长度 < 1/(n＋1)

取一个具体的例子看看。为了演示，先假装前三项是 α₁ ＝ 0.5、α₂ ＝ 0.25、α₃ ＝ 0.375。第一步避开 0.5，取 [0.6, 0.9]；第二步在其中避开 0.25——它本来就不在这个区间里，随便取 [0.6, 0.7]；第三步避开 0.375，同样不在，再取 [0.64, 0.66]。每一步都在前一段里，越缩越窄。

现在用嵌套区间定理：一串嵌套的闭区间，只要每一段都非空，它们的交就不空。又因为长度趋向 0，交里只有唯一一点，记作 ξ。

这个 ξ 有两重身份。第一，它在每一个 [a_n, b_n] 里，所以它在 (0, 1) 里，按假设应当等于某个 α_k。第二，α_k 不在 [a_k, b_k] 里，而 ξ 在里面（因为后面各段都套在这一段里）。两句话一撞，ξ 不可能等于任何 α_k。

于是假设崩塌：(0, 1) 里的实数排不成一列。

这个证明的骨架上有一根筋要看清：它只用到一个性质——「一个有点长度的区间，挖掉一个点，还剩得下东西」。有理数也满足这个性质，可为什么有理数排得成列？因为 ξ 不保证是有理数。证明找到的那个「漏在外面的数」，恰恰是构造过程自动筛出来的，它通常是无理数。这正是实数与有理数的分水岭。

1891 年，康托尔在《数学年刊》上发表了一篇两页的短文，标题平实：《论集合论的一个初等定理》。他在这里给出了一个比 1874 年短得多的证明，短到可以印在半页纸上，而且不需要任何预备知识。

仍然反证。假设区间 (0, 1] 的实数排成一列：

x₁, x₂, x₃, …

把每个数写成小数（不用有限小数那种以 0 收尾的写法，只用以非 0 数字无限延续的写法）：

x₁ ＝ 0.a₁₁a₁₂a₁₃…
x₂ ＝ 0.a₂₁a₂₂a₂₃…
x₃ ＝ 0.a₃₁a₃₂a₃₃…

把下标相同的那些位挑出来：a₁₁, a₂₂, a₃₃, …。它们在表上连成一条斜线，各自属于不同的数。现在造一个新数 b，让它的第 n 位专门跟这条斜线作对：

b_n ＝ 1（若 a_nn ≠ 1）；b_n ＝ 2（若 a_nn ＝ 1）

于是 b ＝ 0.b₁b₂b₃… 与 x₁ 第 1 位不同，与 x₂ 第 2 位不同，与 x₃ 第 3 位不同……一般地，与 x_n 第 n 位不同。

两个小数只要有一位不同，就是两个不同的数。所以 b 不等于列表里的任何一个 x_n。可 b 是 (0, 1] 里的一个实数，按假设本该在列表中。矛盾。

有一处细节必须交代：为什么取 1 与 2，而不取 0 与 9？因为小数有一种双重写法，0.4999… ＝ 0.5000…，同一个数有两种展开。若用 0 与 9 来改位，造出的数可能只是因为写法不同而与列表中的某个数「相等」，反证就漏了。改用 1 与 2，永远碰不到 0 与 9，两种写法的坑就绕开了。

这个证明的力量在于它不依赖任何关于实数的特殊性质。它只用到两件事：每个对象能编上号，以及每个对象能展开成一串「位」。凡是满足这两条的地方，同样的斜线都能切下去——后面第四幕会看到，它怎样切开了幂集、切开了不可判定命题的门。

反证要看得服人，得把斜线真的走一遍。假设前五个数是这五个（每个只写前五位，后面照此延伸）：

x₁ ＝ 0.1 2 3 4 5 …
x₂ ＝ 0.2 3 4 5 6 …
x₃ ＝ 0.3 4 5 6 7 …
x₄ ＝ 0.4 5 6 7 8 …
x₅ ＝ 0.5 6 7 8 9 …

斜线上的五个数字是 1、3、5、7、9。按规则改位：遇到 1 就写 2，遇到别的就写 1。逐个算：

b₁：a₁₁ ＝ 1 → b₁ ＝ 2
b₂：a₂₂ ＝ 3 → b₂ ＝ 1
b₃：a₃₃ ＝ 5 → b₃ ＝ 1
b₄：a₄₄ ＝ 7 → b₄ ＝ 1
b₅：a₅₅ ＝ 9 → b₅ ＝ 1

得到 b ＝ 0.21111…。现在逐个比对：

比 x₁：第 1 位 2 ≠ 1，不同
比 x₂：第 2 位 1 ≠ 3，不同
比 x₃：第 3 位 1 ≠ 5，不同
比 x₄：第 4 位 1 ≠ 7，不同
比 x₅：第 5 位 1 ≠ 9，不同

每一个都不同，而且不同的位置各不相同。这就是斜线的作用：它保证新数至少在「属于自己那一号」的那一位上与他人分开，所以永远撞不上。

有人会问：把 b 补进列表里不就行了？比如把它排成第 6 号。可以，但补进去之后，表变了，斜线也跟着变，照样能切出一个新的 b′ 不在表里。补一次造一个，补一百次造一百个，这是一场永远追不上的追逐——所以问题不在于「漏了一个」，而在于「无论怎么排都会漏」。

这个「补也没用」的性质，是它与 1874 年证明最大的不同。1874 年证明的是「这个列表不完整」，1891 年证明的是「任何列表都不完整」。后者更彻底，因为它把矛头直接指向了「排成一列」这件事本身。

先看构造的办法，它简单得像一个游戏。

平面上一点由两个坐标决定，各是一个 0 与 1 之间的小数：

x ＝ 0.a₁a₂a₃…，　y ＝ 0.b₁b₂b₃…

把两串数字交错着抄成一个：

z ＝ 0.a₁b₁a₂b₂a₃b₃…

算一个具体的。取 x ＝ 0.123456…，y ＝ 0.789012…，交错得

z ＝ 0.1 7 2 8 3 9 4 0 5 1 6 2 …

反过来也走得通：拿到 z，把奇数位还给 x，偶数位还给 y，两个坐标就回来了。一去一回，一个点对一条线段上的一个数，看上去严丝合缝。

可这里有两个漏洞，必须补。

第一个漏洞：小数写法不唯一。0.4999… 与 0.5000… 是同一个数。若一个坐标有两串展开，交错出来的 z 就不唯一，「一一对应」立刻破功。补法：规定只使用不以连续 9 结尾的那种写法，这样每个数只有一种展开。

第二个漏洞：交错的像会漏掉一些数。比如 z ＝ 0.090909…，反解出来两个坐标都是 0.000…，等于 0，落在区间的端点上而非内部；又如某些 z 反解出的坐标会以连续 9 结尾。补法有两种：一是改用连分数表示（每个无理数有唯一的连分数展开，天然避开歧义，康托尔原证用的就是这条路）；二是承认这只是单射，再另造一个反向的单射，最后用等势定理收口。

后者是今日教科书的标准路线，值得说清它的逻辑：若 A 能单射进 B，B 也能单射进 A，则二者等势。这条定理（施罗德—伯恩斯坦）把「造一个完美的对应」这个难题，降级成「造两个粗糙的对应」。粗糙的单射容易造：交错给出线段到正方形的一支，对角线嵌入给出正方形到线段的一支，两边一夹，等势就成了。

结论：|ℝ| ＝ |ℝ²|。推到一般：一维、二维、三维，乃至可数维，基数全是 𝔠。「维数」在基数这个尺度上完全消失了。

造更大无穷的工具，1891 年那篇短文里已经点明：取一个集合的所有子集。所有子集构成的集合叫幂集，记作 P(A)。

先看有限的情形。设 A ＝ {1, 2, 3}，它的子集可以全列出来：

∅，{1}，{2}，{3}，{1,2}，{1,3}，{2,3}，{1,2,3}

一共 8 个，而 A 只有 3 个元素。原因是每个元素都有「取」与「不取」两种处境，三个元素就有 2³ ＝ 8 种。一般地，n 个元素的集合有 2ⁿ 个子集。

对有限集，2ⁿ > n 显然。对无穷集，这条不等式还成立吗？康托的答案是成立，而且这就是造出更大无穷的唯一途径。

证法用的正是对角线。设有一个配对规则 f，把每个元素配给一个子集。造一个特殊的集合：

B ＝ {a ∈ A ：a ∉ f(a)}

读法：把那些「没有落在自己配到的子集里」的元素收集起来。这个 B 也是 A 的子集，按假设它应该等于某个 f(a₀)。

现在问一句：a₀ 在不在 B 里？

若 a₀ ∈ B，按 B 的定义须 a₀ ∉ f(a₀) ＝ B，矛盾
若 a₀ ∉ B，则 a₀ ∈ f(a₀) ＝ B，矛盾

两边都堵死。所以 B 不可能落在配对的像里，配对一定漏掉了什么。

用三元素试一遍。设 f(1) ＝ {1,2}，f(2) ＝ {2,3}，f(3) ＝ {1,3}。逐个查：1 落在 f(1) 里，不收；2 落在 f(2) 里，不收；3 落在 f(3) 里，不收。于是 B ＝ ∅。而像里三个都不是空集，空集确实漏了。

换一个配对：f(1) ＝ {2,3}，f(2) ＝ {1}，f(3) ＝ {1,2}。查：1 不在 {2,3} 里，收；2 不在 {1} 里，收；3 不在 {1,2} 里，收。得 B ＝ {1,2,3}，也不在像里。

两次都漏，漏的东西不同，但总归漏。这就是康托定理：对任何集合 A，|P(A)| > |A|，无一例外。

把 A 换成自然数集：|ℕ| ＝ ℵ₀，而 |P(ℕ)| ＝ 2^ℵ₀。每个子集可以看成一串「取或不取」的记录，也就是一串 0 与 1，也就是一个二进小数。所以 2^ℵ₀ 恰好等于实数集的基数：

𝔠 ＝ 2^ℵ₀

再取一次幂集，得 2^𝔠，比 𝔠 更大；如此下去，没有最大的无穷，幂集是一台永远往上走的电梯。

幂集给出了一列越来越大的基数：

ℵ₀ < 2^ℵ₀ < 2^2ℵ₀ < …

康托尔给它们编号：ℵ₀ 之后的下一个基数叫 ℵ₁，再下一个叫 ℵ₂，如此排成一列。「下一个」这件事本身需要一个保证——任一基数集合都有最小元，这条由良序定理提供，而良序定理又依赖于选择公理。此处只记结论。

麻烦在于，基数只有一个尺度：多少。可「无穷」还有另一个尺度：排到第几。这两个尺度在有限的地方完全一致，在无穷的地方分了家。

举一个能看清分家的例子。把自然数按寻常次序排：

1, 2, 3, 4, …

这一列没有最后一项。康托尔给「排完这一整列」这件事本身起了个名字，记作 ω。它不是某个自然数，而是这一列的「序型」——排完之后的位置。

现在换一种排法：把 1 挪到最后。

2, 3, 4, 5, …；1

元素一个没多、一个没少，基数仍是 ℵ₀；可它现在有最后一项了，排完之后还得再加一位，序型成了 ω ＋ 1。

再看另一个方向：把一串新元素放在最前面。

1, 2, 3, 4, …（原列）　→　a, 1, 2, 3, 4, …

这样排完，序型还是 ω：因为第一项 a 有了位置，后面的照旧，整列的「长度」没有变长。也就是说

1 ＋ ω ＝ ω，　而　ω ＋ 1 ≠ ω

超限数的加法不交换。这与有限数截然不同，也是康托尔最让人难以接受的地方之一：谁见过加法不交换的算术？

把这套办法一路做下去，得到一串序数：

0, 1, 2, …, ω, ω＋1, ω＋2, …, ω·2, …, ω², …, ω^ω, …, ε₀, …

每一个都是「排完之后再加一位」造出来的。这条链没有尽头，而且它的「长度」本身也成了一个可以谈论的对象——正是这一点，二十年后引出了那场著名的悖论（p.35）。

基数与序数的分别，可以用一句话收住：基数问「有多少个」，序数问「排到第几位」。同一堆东西可以排出不同的次序，于是同一个基数可以对应许多不同的序数；反过来，每个序数都确定一个基数，但许多序数共用一个基数。

上一幕末尾那串序数 0, 1, 2, …, ω, ω＋1, …, ω², …，一路往上，没有头。一个自然的问题是：把它们全都收集起来，会得到什么？

布拉利-福蒂 1897 年给出的答案是：会得到矛盾。他的推理只有三步。

第一步。把所有序数收集起来，记作 Ω。按序数的大小，这个总体自己是良序的——任取两串，总有一串排在另一串前面。

第二步。任何良序的东西都有一个序型，序型本身是一个序数。于是 Ω 的序型也是一个序数，记作 ϑ。

第三步。ϑ 既然是序数，就该在 Ω 里；而 Ω 的序型严格大于 Ω 里的每一个序数，所以 ϑ > ϑ。矛盾。

康托尔自己发现的是另一条，性质相同。设 V 是所有集合的总体。由康托定理，|P(V)| > |V|。可 P(V) 的每个元素都是集合，所以 P(V) 的每个元素都在 V 里，即 P(V) 是 V 的一部分。于是 |P(V)| ≤ |V|。两条一撞，矛盾。

矛盾出在哪里？不在定理，在第一步。「把所有集合收集起来」这个动作，本身就不合法。它假定了存在一个「包含一切集合的集合」，而这个假定会立刻造出比自己更大的东西。

康托尔的处置是加一道分界。一边是「集合」，可以互相比较大小、可以取幂集；另一边是「绝对无穷」，大到不能再当对象处理，只能承认它在那里。Ω、V 属于后者。

这道分界在当时的表述还很模糊。要把它说清，需要一套明确的公理，说明什么样的汇集算集合、什么样的不算。这项工作由策梅洛 1908 年起步，经弗兰克尔与斯科伦补充，成了今日通行的 ZF 公理系统。悖论因此不是灾难，而是公理化的直接动因。

连续统假设的答案，分两步到来，中间隔了二十五年。

第一步，1938 年。哥德尔构造了一个「瘦」的集合宇宙：从空集出发，只收那些「可以按序一步步构造出来」的集合，记作 L。在这个宇宙里，选择公理成立，连续统假设也成立。这意味着：若 ZFC 本身不矛盾，那么「ZFC ＋ 连续统假设」也不矛盾——连续统假设不可能被否证。

第二步，1963 年。科恩发明了一种叫「力迫」的技术：从一个已有的模型出发，往里「塞进」新的集合，同时小心地控制哪些旧命题被改变。用这套办法，他造出了一个满足 ZFC 而连续统假设为假的模型。这意味着：连续统假设也不可能被证明。

两步合起来，结论是一句话：

连续统假设独立于 ZFC

「独立」的意思要说得精确：从 ZFC 的公理出发，既推不出它，也推不出它的否定。这与「暂时证不出来」不同，与「它是错的」更不同。它的问题在于，公理没有把它定下来。

这种情形在数学史上并非首次。欧几里得第五公设（平行公设）就独立于前四条：假定过直线外一点恰有一条平行线，得到欧氏几何；假定一条也没有，得到黎曼几何；假定有无穷多条，得到罗巴切夫斯基几何。三套几何互相矛盾，可各自内部完全自洽。

区别在于，几何的独立性有一个外部的裁判：物理空间长什么样，可以测量。广义相对论后来表明，宇宙在大尺度上确实不是欧氏的。而集合论没有这样的裁判。连续统到底有多少个实数，没有任何实验能回答。于是选择哪一边，只能由数学家自己决定——看哪一套公理更合用、更自然、更能长出好数学。

这个局面在当时震动了整个学科。它意味着：数学的基础不是一块铁板，而是一片可以选择的地基。选择不同，长出的高楼也不同，而每一座楼都站得稳。

「既不能证真，也不能证假」，听起来像无能。其实这是三种完全不同的处境，要分清。

第一种：暂时不会。费马大定理悬了三百五十年，最后被证明为真。这期间人们不知道答案，但答案客观存在，只是没找到。这是「不知道」。

第二种：命题本身是错的，所以证不出来。比如「所有实数都是有理数」，无论花多少力气也证不出，因为它假。这是「不能证真」，但能证假。

第三种：公理没有把它定下来。在 ZFC 里，连续统假设属于这一种：存在两套模型，一套里它为真，一套里它为假，两套都满足全部公理。这既不是不会，也不是假，而是「这个问题在现有公理下没有唯一答案」。

第三种处境有一个非常朴素的类比。「1 ＋ 1 ＝ 2」在自然数里成立，在二元域里不成立——那里 1 ＋ 1 ＝ 0。问「1 ＋ 1 究竟等于几」而不说明在哪套数系里，是没有答案的。连续统假设的处境与此类似：不说明在哪个集合宇宙里，它没有确定的真值。

这个类比也要小心用。二元域与自然数是两个不同的结构，各有一套规则；而 ZFC 与 ZFC＋CH 并不是两套规则，公理完全相同，只是满足公理的对象不同。换句话说，同一套公理可以容纳许多不同的宇宙，而这些宇宙在某些问题上给出不同答案。

哲学上的后果，比技术后果重。如果数学对象是由公理「定住」的，那么公理没定住的地方，就真的没有唯一答案。这与「数学真理独立于人的认识而存在」的古典信念有冲突。一部分数学家因此转向形式主义：数学就是按规则做符号推演，规则没规定的，就没有对错。另一部分坚持柏拉图主义：集合宇宙客观存在，只是人看不全。

康托尔属于后者，而且是极端的那一种。他相信无穷的层次是上帝心灵中的实在，人只是把它一点点发现出来。这个信念支撑了他一生，也让他晚年格外难以接受「有些问题没有答案」这个可能。