Skip to main content
Mathematics LibreTexts

1.7: Russell’s Paradox

  • Page ID
    101010
    • Bob Dumas and John E. McCarthy
    • University of Washington and Washington University in St. Louis
    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    As the ideas for set theory were explored, there were attempts to define sets as broadly as possible. It was hoped that any collection of mathematical objects that could be defined by a formula would qualify as a set. This belief was known as the General Comprehension Principle (GCP). Unfortunately, the GCP gave rise to conclusions which were unacceptable for mathematics. Consider the collection defined by the following simple formula: \[V=\{x \mid x \text { is a set and } x=x\} .\] If \(V\) is considered as a set, then since \(V=V\), \[V \in V \text {. }\] If this is not an inconsistency, it is at least unsettling. Unfortunately, it gets worse. Consider the collection \[X=\{x \mid x \notin x\} .\] Then \[X \in X \text { if and only if } X \notin X \text {. }\] This latter example is called Russell’s paradox, and showed that the GCP is false. Clearly there would have to be some control over which definitions give rise to sets. Axiomatic set theory was developed to provide rules for rigorously defining sets. We give a brief discussion in Appendix B.  


    This page titled 1.7: Russell’s Paradox is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by Bob Dumas and John E. McCarthy via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.

    • Was this article helpful?