Regularity and Russell's Paradox
Naive set theory (the axiom schema of comprehension and the axiom of extensionality) is inconsistent due to Russell's paradox. Set theorists have avoided that contradiction by replacing the axiom schema of comprehension with the much weaker axiom schema of separation. However, this makes set theory too weak. So some of the power of comprehension was added back via the other existence axioms of ZF set theory (pairing, union, powerset, replacement, and infinity) which may be regarded as special cases of comprehension. So far, these axioms do not seem to lead to any contradiction. Subsequently, the axiom of choice and the axiom of regularity were added to exclude models with some undesirable properties. These two axioms are known to be relatively consistent.
In the presence of the axiom schema of separation, Russell's paradox becomes a proof that there is no set of all sets. The axiom of regularity (with the axiom of pairing) also prohibits such a universal set, however this prohibition is redundant when added to the rest of ZF. If the ZF axioms without regularity were already inconsistent, then adding regularity would not make them consistent.
The existence of Quine atoms (sets that satisfy the formula equation x = {x}, i.e. have themselves as their only elements) is consistent with the theory obtained by removing the axiom of regularity from ZFC. Various non-wellfounded set theories allow "safe" circular sets, such as Quine atoms, without becoming inconsistent by means of Russell's paradox.(Rieger 2011, pp. 175,178)
Read more about this topic: Axiom Of Regularity
Famous quotes containing the words regularity and, regularity, russell and/or paradox:
“Regularity and Decorum. ‘Tis what we women-authors, in particular, have been thought greatly deficient in; and I should be concerned to find it an objection not to be removed.”
—Elizabeth Cooper (fl. 1730s)
“Generality is, indeed, an indispensable ingredient of reality; for mere individual existence or actuality without any regularity whatever is a nullity. Chaos is pure nothing.”
—Charles Sanders Peirce (1839–1914)
““There is Lowell, who’s striving Parnassus to climb
With a whole bale of isms tied together with rhyme,
He might get on alone, spite of brambles and boulders,
But he can’t with that bundle he has on his shoulders,
The top of the hill he will ne’er come nigh reaching
Till he learns the distinction ‘twixt singing and preaching;”
—James Russell Lowell (1819–1891)
“...This
is the paradox of vision:
Sharp perception softens
our existence in the world.”
—Susan Griffin (b. 1943)