罗素悖论——击溃集合论的一记重拳

大家好，我是 Senko。本文将解读“罗素悖论”。

1901 年，英国哲学家、数学家伯特兰·罗素发现：当时被视为数学基石的集合论中，潜藏着致命的矛盾。这个悖论在数学界掀起巨震，直接迫使人们从根基上重建数学的基础。

什么是罗素悖论

先简单说明一下“集合”。集合就是东西的聚合。“水果的集合”包含苹果和香蕉，“偶数的集合”包含 2、4、6……

那么，集合可以分为“把自身作为元素包含的集合”和“不把自身作为元素包含的集合”。

例如“所有集合的集合”本身也是集合，所以它包含自身。而“水果的集合”不是水果，所以它不包含自身。

在这里，罗素考虑了这样一个集合：

R ＝把所有“不包含自身的集合”收集起来的集合

水果的集合不包含自身，所以属于 R；偶数的集合不包含自身，所以也属于 R。

那么问题来了：“R 自己属于 R 吗？”

如果属于：R 是 R 的元素。可 R 的定义是“不包含自身的集合的集合”。R 属于 R，说明 R 包含了自身，那么 R 就不是“不包含自身的集合”，按定义它不该属于 R。矛盾。

如果不属于：R 不是 R 的元素。R 不属于 R，说明 R 没有包含自身，那么 R 正是“不包含自身的集合”，按 R 的定义它应该属于 R。矛盾。

无论哪种情况都会产生矛盾。

用日常语言表达罗素悖论的，有一个著名的“理发师悖论”。

某个村子里只有一位理发师，他的营业规则是：“只给不自己刮胡子的人刮胡子，不给自己刮胡子的人刮。”

那么，这位理发师自己的胡子怎么办？

如果他自己刮，按规则他就属于“自己刮的人”，理发师不能给这种人刮——也就是说他不能自己刮。

如果他不自己刮，按规则他就属于“不自己刮的人”，理发师要给这种人刮——也就是说他得自己刮。

怎么都矛盾。这个比喻通俗地再现了罗素悖论的结构。

罗素发现这个悖论时，德国数学家戈特洛布·弗雷格正致力于在集合论之上严格构建数学的基础。就在其巨著《算术基本法则》第 2 卷即将出版之际，罗素指出这一矛盾的信寄到了弗雷格手中。

据传弗雷格收信后叹息道：“算术轰然倒塌了。”毕生事业的地基被指出存在致命缺陷，这份冲击可想而知。

受罗素悖论的冲击，数学家们不得不严格重订“集合可以如何定义”的规则。

其成果就是 1908 年由策梅洛提出、后经弗兰克尔改良的“ZFC 公理化集合论”。ZFC 限制了随意构造集合的自由，规定只能从已有集合中取出满足特定条件的元素来构造新集合。

这样一来，像“不包含自身的集合的集合”这种危险的集合从一开始就无法构造，悖论得以回避。

现代数学基本上构建在 ZFC 公理系统之上，罗素悖论不会直接发生。不过，集合论本身的无矛盾性并没有得到证明（这源于哥德尔不完全性定理），要说能否彻底放心，老实讲还真有些微妙。

以下是与罗素悖论同样由自我指涉引发逻辑矛盾的相关悖论。

本文解读了“罗素悖论”。

仅凭一个巧妙的提问就撼动了数学的地基，并推动了现代数学基础的重建——就智识冲击力而言，这个悖论毫无疑问位居顶级。

想返回悖论列表的读者请点击下方链接。

我们下一篇文章见。