罗素悖论

罗素悖论是由“每个可定义的条件都确定一个集合”这一假设引出的矛盾。考虑一个假定存在的集合，它由所有不以自身为元素的集合组成：根据其定义条件，它属于自身当且仅当它不属于自身。伯特兰·罗素于1901年发现了这一悖论，揭示了无限制地构造集合所存在的根本问题，并推动了公理化集合论和类型论的发展。(plato.stanford.edu)

表述与证明

产生问题的原则是无限制概括原则：对于任意公式 $\varphi(x)$，都存在一个集合，其元素恰好是满足该公式的所有对象。用一阶逻辑的语言表述，其形式为

其中，$y$ 不得在 $\varphi$ 中自由出现。这是一个公理模式，每个允许使用的公式都对应其中的一个实例。取 $\varphi(x)$ 为 $x\notin x$，便得到假定存在的罗素集合：

它的定义性质为

将 $x$ 替换为 $R$，得到

若 $R\in R$，则根据定义条件可推出 $R\notin R$。反之，若 $R\notin R$，它就满足成为该集合元素的条件，因此属于 $R$。两种情况都会导致矛盾。(plato.sydney.edu.au)

这一论证讨论的是元素归属关系，而不是子集包含关系。它并不否认每个集合都是自身的子集这一事实，而是表明：在通常的逻辑规则下，不存在元素归属条件恰好符合上述要求的集合。(plato.stanford.edu)

历史背景

罗素在撰写《数学原理》（The Principles of Mathematics）时发现了这一矛盾，该书于1903年出版。1902年6月16日，他将这一发现告知戈特洛布·弗雷格；当时，弗雷格的《算术基本规律》（Grundgesetze der Arithmetik）第二卷即将出版。弗雷格为此增添了一篇讨论该问题的附录。(plato.stanford.edu)

弗雷格的体系并非只是将无限制概括原则明确列为公理的普通集合论。它区分概念与对象，并为概念关联了作为对象的外延。他的基本规律V要求：两个概念的外延相同，当且仅当这两个概念适用于完全相同的对象。这条规律与他的概念概括原则结合，便会产生罗素式的矛盾。因此，问题在于这些原则之间的相互作用，而不是“具有相同元素的集合相等”这一通常原则。(plato.sydney.edu.au)

这一矛盾为何重要

在经典逻辑中，矛盾的前提可以推出任何命题。这一性质称为爆炸原理：

因此，一个能够推导出罗素矛盾的理论，无法在可证明的命题与其否定之间作出区分：每个语句都变得可以推导。问题由此并不只是出现了一个性质令人困惑的奇异集合，而是一个拟议中的基础理论失去了作为数学证明体系的判别能力，因而崩溃。(plato.stanford.edu)

罗素悖论证明的是无限制概括原则的不一致性，而不是所有可能的集合理论都不一致。不同的基础体系通过改变哪些汇集可以存在、哪些表达式合乎语法，或哪些逻辑推理得到允许，来避免这一悖论。(plato.stanford.edu)

受限制的集合构造

在策梅洛—弗兰克尔集合论（ZF）中，无限制概括原则被更有限的存在性原则所取代。分离公理模式允许从一个已有的集合中构造可定义的子集：

因此，对于任意集合 $A$，都可以构造

这不会产生矛盾，反而意味着 $R_A\notin A$：如果 $R_A$ 属于 $A$，将它代入自身的定义条件，就会重现罗素矛盾。这是由分离公理模式直接推出的结论。特别地，不存在包含所有集合的集合，因为这样的集合必然也要包含 $R_A$。(plato.stanford.edu)

ZF还包含正则公理，它排除了集合属于自身的情况。不过，上述论证并不需要正则公理：分离公理模式本身就已排除了全集的存在。因此，要避免罗素悖论，不能仅仅禁止集合属于自身；还必须拒绝无限制概括原则。(plato.stanford.edu)

类型与分层

类型论的处理方式限制了谓词或元素归属关系可以作用于哪些类型的对象。在一个简单的层级体系中，个体处于一个层级，个体的汇集处于另一个层级，而这些汇集的汇集又处于更高的层级。一个汇集不能被当作与其元素具有相同类型的对象。因此，对应于 $x\in x$ 或谓词作用于自身的表达式都不是合式表达式。(plato.stanford.edu)

这与ZF的处理方式不同。ZF允许写出公式 $x\in x$，但限制了断言集合存在的原则；简单类型论则通过约束表达式的规则，阻止相关的自我应用。此后，类型论发展成为形式逻辑与计算基础的框架，而不只是排除这一特定悖论的工具。(plato.stanford.edu)

另一种处理方式是新基础集合论所采用的分层概括原则。只有当公式中的变量能够被赋予层级，使得每个元素归属表达式 $x\in y$ 中 $y$ 的层级都比 $x$ 高一级时，该公式才可用于概括。公式 $x\notin x$ 无法满足这一要求。相比之下，$x=x$ 可以满足，因此允许全集存在，却不允许构造罗素集合。这表明，全集本身并不是问题的关键：是否产生矛盾，取决于与它配套的概括原则。(sites.math.rutgers.edu)

理发师类比

理发师悖论展示了同一种逻辑结构。假设一位理发师属于某个群体，而且他给群体中所有不自己刮脸的成员刮脸，也只给这些成员刮脸。那么，这位理发师是否给自己刮脸？无论答案如何，都会与规定的规则冲突。

结论是，不存在这样的理发师。罗素悖论对数学基础的影响更为深远，因为无限制概括原则提供了一条一般原则，看似能够保证相应集合的存在。因此，这一矛盾要求我们放弃或限制该原则，而不只是拒绝对某个虚构人物的描述。(plato.stanford.edu)

其他逻辑应对方式

次协调逻辑拒绝爆炸原理：矛盾不一定能够推出所有命题。因此，一些处理集合论悖论的方法在修改底层逻辑的同时，保留了某些形式的广泛概括原则。这种处理方式不同于ZF或简单类型论：它不一定阻止矛盾结论的产生，而是力求防止这些矛盾使整个理论平凡化，即让所有命题都成为可推导的。某个具体体系能否做到这一点，取决于其确切的公理和推理规则；仅凭次协调性，并不能确定哪些集合存在。(plato.stanford.edu)

参考来源

1. Russell’s Paradox — Stanford Encyclopedia of Philosophyplato.stanford.edu
2. Frege’s Theorem and Foundations for Arithmetic — Stanford Encyclopedia of Philosophyplato.sydney.edu.au
3. Set Theory — Stanford Encyclopedia of Philosophyplato.stanford.edu
4. Type Theory — Stanford Encyclopedia of Philosophyplato.stanford.edu
5. Paradoxes in Set Theorysites.math.rutgers.edu
6. Paraconsistent Logic — Stanford Encyclopedia of Philosophy, Summer 2026 Editionplato.stanford.edu