- Set of all sets
In
set theory as usually formulated, referring to the set of all sets typically leads to aparadox . The reason for this is the form of Zermelo'saxiom of separation : for anyformula and set , the set which contains exactly those elements x of A that satisfy exists. If theuniversal set existed, then we could recoverRussell's paradox by considering. More generally, for any set A we can prove that is not an element of A.A second issue is that the
power set of the set of all sets would be a subset of the set of all sets, providing that both exist. This conflicts with Cantor's theorem that the power set of any set (whether infinite or not) always has strictly highercardinality than the set itself.It is natural to want to speak of "all sets" in the usual set theory, the
Zermelo–Fraenkel set theory , particularly because most versions of this theory do allow us to use quantifiers over all sets (not justquantifiers restricted to particular sets). This is handled by allowing carefully circumscribedmention of V and similar large collections as proper classes. In theories with
proper classes the statement is not true because proper classes cannotbe elements.There are set theories known to be
consistent (if the usual set theory is consistent) in whichthe universal set V does exist (and is true). In these theories, Zermelo'saxiom of separation does not hold in general, and theaxiom of comprehension ofnaive set theory is restricted in a different way. Examples of such theories are thevarious versions ofNew Foundations which are known to be consistent and systems ofpositive set theory .Universal set
More broadly, a universal set in
set theory , is a set which contains all objects, including itself. [Forster 1995 p. 1.] The most widely-studied set theory with a universal set isWillard Van Orman Quine ’sNew Foundations , butAlonzo Church and Arnold Oberschelp also published work on such set theories. Church speculated that his theory might be extended in a manner consistent with Quine’s, [Church 1974 p. 308, but see also Forster 1995 p. 136 or 2001 p. 17.] but this is not possible for Oberschelp’s, since in it the singleton function is provably a set, [Oberschelp 1973 p. 40.] which leads immediately to a paradox in New Foundations. [ Holmes 1998 p. 110.]Zermelo–Fraenkel set theory and related set theories, which are based on the idea of thecumulative hierarchy , do not allow for the existence of a universal set.See also
* Universe
*Russell's paradox References
Bibliography
*
Alonzo Church (1974). “Set Theory with a Universal Set,” "Proceedings of the Tarski Symposium. Proceedings of Symposia in Pure Mathematics XXV," ed. L. Henkin, American Mathematical Society, pp. 297-308.*
* [http://www.dpmms.cam.ac.uk/~tf/ T. E. Forster] (2001). [http://www.dpmms.cam.ac.uk/~tf/church2001.ps “Church’s Set Theory with a Universal Set.”]
* [http://math.boisestate.edu/~holmes/holmes/setbiblio.html Bibliography: Set Theory with a Universal Set,] originated by T. E. Forster and maintained by Randall Holmes at Boise State University.
* [http://math.boisestate.edu/~holmes Randall Holmes] (1998). " [http://math.boisestate.edu/~holmes/holmes/head.ps Elementary Set theory with a Universal Set,] " volume 10 of the Cahiers du Centre de Logique, Academia, Louvain-la-Neuve (Belgium).
* Arnold Oberschelp (1973). “Set Theory over Classes,” "Dissertationes Mathematicae" 106.
*
Willard Van Orman Quine (1937) “New Foundations for Mathematical Logic,” "American Mathematical Monthly" 44, pp. 70-80.
Wikimedia Foundation. 2010.