先问你个看起来特别傻的问题：世界上的正整数多，还是整数多？

你肯定会翻个白眼：这还用问？整数里不光有正整数，还有负整数和 0，怎么看都比正整数多一倍都不止吧？

放在日常生活里，你这么想一点毛病没有。

一个筐里装着所有正整数，另一个筐里装着所有整数，后者明显比前者多了一大堆数，多少都能算出来。

但一旦问题涉及 “无穷”，所有的常识就都失效了。

答案是：两者一样多。

别着急反驳，我知道你现在脑子里全是问号，接下来咱们就慢慢掰扯清楚，为什么一旦沾了 “无穷” 的边，我们的直觉就这么不堪一击。

比较多少的底层逻辑：一一对应

要搞明白这个问题，咱们得先回到最原始的 “比较多少” 的方法。

小时候你数糖果，数出 12345，说有 5 颗，本质上是把糖果和 1、2、3、4、5 这几个正整数一一配对，配完了有多少个数字，就有多少颗糖。

再比如一个班级里，男生女生哪个多？不用一个个数，让男生女生手拉手配对，最后谁剩下来了谁就多；如果正好全部配完，那就是一样多。

这个方法看起来笨，但却是数学里比较两个集合大小的核心逻辑：一一对应。

只要能找到一种方法，让两个集合里的元素一个对一个，没有遗漏也没有重复，那这两个集合的元素数量就是相等的。

有限集合里这个方法稀松平常，但放到无穷集合里，就能得出颠覆认知的结论。

正整数和整数，居然一样多？

回到最开始的问题，正整数是 1、2、3、4…… 一直往无穷大走，整数是……-3、-2、-1、0、1、2、3…… 两边都往无穷延伸。

怎么让它们一一配对？

很简单，咱们给所有整数排个队，让它们按顺序领正整数的号码牌：

0 排第 1 号，

1 排第 2 号，

-1 排第 3 号，

2 排第 4 号，

-2 排第 5 号，

3 排第 6 号，

-3 排第 7 号……

发现规律了吗？所有正整数都能找到唯一对应的整数，所有整数也都能找到唯一对应的正整数。没有遗漏，没有重复。

说白了，不管你说出哪一个整数，我都能找到唯一的正整数和它对应；反过来，不管你说出哪一个正整数，我也能找到唯一的整数和它对应。

那按照咱们刚才说的规则，整数和正整数，就是一样多的。

你可能会说：不对啊，正整数明明只是整数的一部分啊，部分怎么能等于整体？

在有限世界里，部分当然小于整体，这是铁律。

但在无穷世界里，这条铁律不成立。

无穷的特性就是，它的一部分，可以和它本身一样大。

这听上去很诡辩，但逻辑上无懈可击。

说到无穷的反常识，就绕不开那个最经典的思想实验，希尔伯特旅馆。

想象一下，有这么一家旅馆，里面有无限多个房间，房间号从 1、2、3、4…… 一直排下去，没有尽头。

某天晚上，旅馆住满了，每个房间都有客人，一间空房都没有。

这时候来了一个客人，说要住店。

要是普通旅馆，老板肯定说不好意思满房了。但这家是希尔伯特旅馆，老板说：没问题，稍等。

然后他广播通知：所有客人，请搬到下一个房间去。1 号房的去 2 号，2 号房的去 3 号，3 号房的去 4 号…… 以此类推，每个住在 n 号房的客人，都搬到 n+1 号房。

因为房间是无限多的，所以永远有下一个房间可以搬。这么一搬，1 号房就空出来了，新客人直接住进去。

满房的旅馆，还能再住进一个人，反常识吧？

这还没完。

没过一会，来了一个旅行团，这个旅行团有无限多个人，乌泱泱一片看不到头。

老板还是不慌，又广播：所有客人，请搬到你房间号两倍的房间去。1 号去 2 号，2 号去 4 号，3 号去 6 号，4 号去 8 号……

这么一搬，所有的奇数号房间就都空出来了。而奇数有无限多个，正好能装下这个无限大的旅行团。

你以为这就到头了？更夸张的还在后面。

过了一会，来了无限多个旅行团，每个旅行团都有无限多个人。

换普通老板早就疯了，但希尔伯特旅馆的老板有办法。他用了质数的魔法：

先让原来的客人，都搬到 2 的 n 次方号房间，n 是原来的房间号。比如原来 1 号房的去 2¹=2 号，2 号房的去 2²=4 号，3 号房的去 2³=8 号……

然后第一个旅行团的第 k 号客人，住 3ᵏ号房间；

第二个旅行团的第 k 号客人，住 5ᵏ号房间；

第三个旅行团的第 k 号客人，住 7ᵏ号房间；

第四个旅行团的第 k 号客人，住 11ᵏ号房间……

每个旅行团对应一个质数，质数有无限多个，质数的幂次也永远不会重复。

就这么着，无限多个旅行团，每个团无限多个人，全给安排进去了，还剩了好多房间空着。

这就是可数无穷的魔力。

只要能一个一个数出来、排上队的无穷，都叫可数无穷，不管看起来多夸张，本质上都和正整数一样多。

有理数和自然数，居然也一样多？

那咱们再升级一下问题：自然数和有理数，哪个多？

自然数就是 0、1、2、3、4…… 非负整数，在数轴上是一个一个孤零零的点，稀稀拉拉。

黄色的断点是自然数，蓝色的线段是有理数

有理数呢？就是所有能写成分数的数，1/2、1/3、2/3、1/4…… 随便两个自然数之间，都能塞进去无穷多个有理数。在数轴上看，有理数密密麻麻，几乎把整条数轴都填满了。

按直觉说，有理数的数量不得甩自然数八条街？

但答案还是：一样多。

没错，密密麻麻的有理数，和稀稀拉拉的自然数，数量是一个级别的。

怎么做到的？其实也不难，只要给有理数排个队就行。

我们把所有有理数都写成分数 a/b 的形式，a 和 b 都是自然数，b 不等于 0。

然后画一张大表格，横向是分母 b，1、2、3、4…… 纵向是分子 a，0、1、2、3、4……

表格里的每个格子，就对应一个分数 a/b。第一行是 0/1、0/2、0/3…… 其实都是 0；第二行是 1/1、1/2、1/3…… 第三行是 2/1、2/2、2/3…… 以此类推。

表格是无限大的，理论上能装下所有正有理数。

接下来怎么数？横着数不行，第一行就无限多，永远数不到第二行。竖着数也一样。

咱们换个走法，按 “分子与分母的和” 来分组：

和为 1：只有 0/1，记下来；

和为 2：1/1、0/2，按顺序排好；

和为 3：2/1、1/2、0/3；

和为 4：3/1、2/2、1/3、0/4；

然后我们按顺序把这些数列出来，遇到重复的数就删掉，比如 2/2 就是 1，已经有了，就跳过。

这么一路数下去，每一个有理数都会被我们数到，而且只会数到一次。

然后给它们按顺序标上 0、1、2、3、4…… 的自然数编号，不就一一对应了吗？

说白了，只要能找到一个排序方法，把无穷多的元素一个不落地排成一队，那它就是可数无穷，就和自然数一样多。

有理数看起来密密麻麻，但本质上还是可数的。

那是不是所有无穷都是可数的？是不是所有无穷集合都和自然数一样多？

当然不是。

接下来这个结论，可能更颠覆你的认知：0 到 1 之间的所有实数，比所有自然数加起来还要多。

没错，就是数轴上那短短一小段，0 到 1 之间的所有小数，数量比 0、1、2、3…… 一直到无穷的自然数还要多。

这是为什么？因为实数是不可数的，你根本没办法把所有实数排成一队，一个一个数出来。

这个结论是数学家康托尔证明的，用的是非常巧妙的反证法，叫对角线法。

咱们一步步来，很好懂。

首先，我们先假设：0 到 1 之间的实数是可数的，也就是说，能和自然数一一对应，能全部排成一个列表。

那我们就可以列出来：

第 1 个小数：0.1234567……

第 2 个小数：0.3485738……

第 3 个小数：0.8589483……

第 4 个小数：0.4903805……

第 5 个小数：0.3840398……

第 6 个小数：0.9038278……

这个列表无限长，包含了所有 0 到 1 之间的实数，每个自然数对应一个小数。

接下来，见证奇迹的时刻到了。

我们来构造一个新的小数：

它的小数点后第一位，取第 1 个小数的第一位数字，然后加 1；如果是 9，就变成 0。例子里第一个小数第一位是 1，加 1 变成 2；

它的小数点后第二位，取第 2 个小数的第二位数字，然后加 1；例子里第二个小数第二位是 4，加 1 变成 5；

第三位，取第 3 个小数的第三位，8 加 1 变成 9；

第四位，取第 4 个小数的第四位，3 加 1 变成 4；

以此类推，我们得到了一个新的小数：0.259448……

现在问题来了：这个新小数，在不在我们刚才的列表里？

答案是：不在。

为什么？

它的第一位和第 1 个小数不一样，所以它不等于第 1 个数；

它的第二位和第 2 个小数不一样，所以它不等于第 2 个数；

它的第三位和第 3 个小数不一样，所以它不等于第 3 个数；

它的第 n 位，永远和列表里第 n 个小数的第 n 位不一样，所以它永远不等于列表里的任何一个数。

也就是说，哪怕你列了无限多个小数，我照样能找出一个不在列表里的数。

这就说明，我们最开始的假设错了，0 到 1 之间的实数根本不可能和自然数一一对应，它比自然数要多得多。

而且这个结论可以无限推广：

0.1 到 0.2 之间的实数，比自然数多；

0.001 到 0.002 之间的实数，比自然数多；

哪怕是短到几乎看不见的一小段数轴，里面的实数数量，都能碾压全部自然数。

这就是不可数无穷，它是比可数无穷高一个级别的无穷大。

如果说自然数的无穷是ℵ₀（阿列夫零），那实数的无穷就是ℵ₁，中间差了整整一个级别。

说白了，同样是无穷多，也分三六九等。

可数无穷在不可数无穷面前，跟没有差不多。

提出这个理论的人，叫格奥尔格・康托尔，是集合论的创始人。

现在我们觉得这些结论虽然反常识，但逻辑严谨，是现代数学的基础。但在 19 世纪，康托尔的理论刚出来的时候，整个数学界都炸了锅。

当时的数学家们普遍认为，无穷就是无穷，哪有什么等级之分？什么部分等于整体，什么不可数无穷，全都是胡言乱语。

反对声音最大的是当时的数学权威克罗内克，他是康托尔的老师，公开骂康托尔是疯子，说他的理论是 “数学疾病”。

不光是学术上的打压，克罗内克还动用自己的权力，处处给康托尔穿小鞋，不让他在柏林大学任教，不让他的论文在顶级期刊发表。

在长期的质疑和打压下，康托尔的精神出了问题，多次住进精神病院，最后在 1918 年，死在了哈雷大学的精神病院里。

但真理不会被永远埋没。

后来的数学家们慢慢发现，康托尔的集合论才是对的，它不仅解决了无穷的问题，还成为了整个现代数学的基础。

从微积分到拓扑学，从代数到数论，几乎所有数学分支，都建立在集合论的基础之上。

那位曾经被骂成疯子的数学家，最终成了 “现代数学的奠基人”。

可惜他本人，没能等到这一天。