自然数和实数之间，还藏着另一种无穷吗？

♾️

“数学的地基真的牢不可破吗？”系列 · 2/3

自然数有无穷多个，实数也有无穷多个。但 Cantor 告诉我们：无穷也分大小。于是一个看似非常自然的问题出现——在这两种无穷之间，会不会还夹着另一种无穷？

一、第一件反直觉的事：无穷并不只有一种大小二、连续统假设到底在问什么？三、为什么它看起来应该有一个确定答案？四、Gödel 先证明了一半：ZFC 无法把 CH 否掉五、Cohen 补上另一半：ZFC 也无法把 CH 证明出来六、“既不能证明也不能否定”究竟意味着什么？误解 1：CH 没有真假误解 2：数学从此变成“各说各话”误解 3：那 CH 就不值得研究了七、为什么不是简单加一句“CH 为真”就完事？八、CH 与 Gödel 不完备定理是什么关系？九、数学真正被改变的地方系列导航

一、第一件反直觉的事：无穷并不只有一种大小

自然数集合

是无限的。

偶数集合

看起来只是自然数的一半，但映射

给出了二者的一一对应。

所以在集合论里，两个集合“大小相同”的定义不是谁包含谁，而是是否存在双射。

自然数的基数记作

整数、有理数，甚至所有有限字符串，也都只有可数无穷多个。

然后 Cantor 用对角线方法证明：实数不可数。

也就是说

更具体地，实数连续统的大小等于自然数幂集的大小：

于是“无穷”第一次出现了真正的层级。

二、连续统假设到底在问什么？

既然

最自然的问题就是：中间还能不能塞进一个新的基数？

也就是是否存在

连续统假设（Continuum Hypothesis, CH）断言：不存在。

用阿列夫数记号写，就是

这里表示严格大于的最小无限基数。

所以 CH 不是“实数连续不连续”的问题，也不是“实数有没有空隙”。它问的是：

连续统是不是紧接在可数无穷之后的下一档无穷？

这个问题如此自然，以至于 Hilbert 在 1900 年列出的 23 个问题里，把它放在了第一个。

三、为什么它看起来应该有一个确定答案？

如果一个集合明确存在，那么它的大小似乎也应该是某个确定对象。

自然数集合固定，实数集合也固定。于是人会本能地觉得：

“ 到底是不是，总该有一个答案吧？”

而 ZFC 又是现代数学最常用的基础体系之一。我们习惯在其中定义集合、函数、数、空间、代数结构。

因此最合理的期待似乎是：只要证明够聪明、工具够强，迟早能从 ZFC 推出

或者

历史最后给出的答案，比“很难证明”更震撼。

四、Gödel 先证明了一半：ZFC 无法把 CH 否掉

1938 年以后，Gödel 发展了可构造宇宙 。

直观地说，是在集合论宇宙中，只保留那些可以按照严格阶段、从已有对象中“可定义地构造”出来的集合。

它形成一个内部模型，并满足非常强的结构性质。

Gödel 证明：如果 ZF 是相容的，那么

也是相容的。

而广义连续统假设 GCH 当然蕴含 CH。

因此，只要基础集合论本身没有矛盾，你就不能期待从 ZFC 里证明

否则，在中就会同时得到 CH 与非 CH，产生矛盾。

用相对相容性的语言说：

这已经说明：ZFC 不能排除 CH。

但仍然留下另一半可能——也许 ZFC 本身能证明 CH？

五、Cohen 补上另一半：ZFC 也无法把 CH 证明出来

1963 年，Paul Cohen 发明了后来成为集合论核心技术之一的 forcing（力迫）。

它的想法非常粗略地说，是从一个原有模型出发，以受控方式加入新的集合，构造一个更大的模型，同时尽量保持 ZFC 的公理继续成立。

通过 forcing，Cohen 构造出满足 ZFC 但不满足 CH 的模型。

因此，在 ZFC 相容的前提下：

把 Gödel 与 Cohen 的结果放在一起，就得到

——当然，这里始终是在通常的“假设 ZFC 相容”的相对相容性框架下讨论。

⚡

CH 不是“数学家至今还没找到证明”。它是：如果坚持只使用 ZFC，就不存在你期待的那种证明或反证。

六、“既不能证明也不能否定”究竟意味着什么？

这里最容易出现三个误解。

误解 1：CH 没有真假

并不是。

在一个给定模型里，CH 有明确真假值：有些 ZFC 模型满足 CH，有些 ZFC 模型满足。

独立性真正说明的是：ZFC 的公理没有把所有模型压到同一种答案上。

误解 2：数学从此变成“各说各话”

也不是。

独立性本身就是一个严格数学定理。我们不是因为意见不同所以“都算对”，而是精确构造并证明了不同模型分别满足哪些公理和命题。

误解 3：那 CH 就不值得研究了

恰恰相反。

一旦知道 ZFC 不够决定 CH，问题就升级了：应该增加什么新公理？什么原则足够自然？哪些原则会决定连续统的大小？这些原则又会如何影响集合论其他部分？

“一个问题在旧体系里无解”，往往不是研究终点，而是新理论的入口。

七、为什么不是简单加一句“CH 为真”就完事？

当然可以形式上这么做。

我们可以定义

也可以定义

在相容性允许的情况下，两边都能发展数学。

可真正困难的问题是：哪一边更应被视为“自然的”集合论宇宙？

这就像物理里不是随便补一条方程，而要解释为什么新规律值得被接受。

集合论研究者因此考察各种候选原则，例如大基数公理、forcing axioms、内模型理论等。它们并不是简单“投票决定 CH”，而是在追求更统一、更有解释力的集合论结构。

值得注意的是：不同强公理对连续统可能施加不同约束；“找到大家都承认的唯一终极答案”并没有因为 CH 独立性而自动出现。

八、CH 与 Gödel 不完备定理是什么关系？

这两个故事经常被混在一起。

Gödel 不完备定理告诉我们：任何足够强、有效可公理化且相容的形式系统，都存在它无法解决的算术命题。

但 CH 对 ZFC 的独立性并不是把不完备定理往上一套就得到的。

CH 的独立性需要具体的模型论工作：Gödel 的可构造宇宙与 Cohen 的 forcing。

可以把区别理解为：

不完备定理说明“这种墙一定会存在”；

CH 独立性则是“我们找到了墙上的一个具体位置，并从两边都证明穿不过去”。

这也为下一篇留下了最根本的问题：

如果我们把新的独立命题不断加成新公理，能不能有一天得到一套再也没有漏洞、什么都能决定的最终体系？

九、数学真正被改变的地方

连续统假设最震撼的地方，不是它研究了一种特别巨大的无穷，而是它迫使我们改变对“数学答案”的想象。

在初等数学里，我们习惯于：一个命题要么真，要么假，而证明只是把那个答案挖出来。

现代逻辑提醒我们，还要多问一层：

公理系统决定了哪些句子能被证明；模型决定这些句子在某个数学宇宙里如何成立。

而 CH 告诉我们：即使公理已经强大到 ZFC 的程度，也可能仍然不足以锁定一个极其自然的问题。

系列导航

第 1 篇：

第 2 篇（本文）：自然数和实数之间，还藏着另一种无穷吗？

第 3 篇：

封面：Georg Cantor，Wikimedia Commons，公有领域图像。