Russell's Paradox

Revision as of 06:32, 25 November 2007 by Bubka (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The Russell's Paradox, credited to Bertrand Russell, was one of those which forced the axiomatization of set theory.


We start with the property $P$: ($x$ does not belong to $x$). We define $C$ to be the collection of all $x$ with the property $P$. Now comes the question: does $C$ have the property $P$? Assuming it does, it cannot be in itself, in spite of satisfying its own membership criterion, a contradiction. Assuming it doesn't, it must be in itself, in spite of not satisfying its own membership criterion. This is the paradox.

See Also

Invalid username
Login to AoPS