Set of all sets

Set of all sets

In set theory as usually formulated, referring to the set of all sets typically leads to a paradox. The reason for this is the form of Zermelo's axiom of separation: for anyformula varphi(x) and set A, the set {x in A mid varphi(x)}which contains exactly those elements x of A that satisfy varphi exists. If theuniversal set V existed, then we could recover Russell's paradox by considering{x in Vmid x otin x}. More generally, for any set A we can prove that{x in Amid x otin x} 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 higher cardinality 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 V in V 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 V in V is true). In these theories, Zermelo's axiom of separation does not hold in general, and the axiom of comprehensionof naive set theory is restricted in a different way. Examples of such theories are thevarious versions of New Foundations which are known to be consistent and systems of
positive 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 is Willard Van Orman Quine’s New Foundations, but Alonzo 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 the cumulative 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.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… …   Universalium

  • Set (mathematics) — This article gives an introduction to what mathematicians call intuitive or naive set theory; for a more detailed account see Naive set theory. For a rigorous modern axiomatic treatment of sets, see Set theory. The intersection of two sets is… …   Wikipedia

  • Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects …   Wikipedia

  • Set-builder notation — In set theory and its applications to logic, mathematics, and computer science, set builder notation (sometimes simply set notation ) is a mathematical notation for describing a set by stating the properties that its members must satisfy. Forming …   Wikipedia

  • set — /set/, v., set, setting, n., adj., interj. v.t. 1. to put (something or someone) in a particular place: to set a vase on a table. 2. to place in a particular position or posture: Set the baby on his feet. 3. to place in some relation to something …   Universalium

  • Set notation — Sets are fundamental objects in mathematics. Intuitively, a set is merely a collection of elements or members . There are various conventions for textually denoting sets. In any particular situation, an author typically chooses from among these… …   Wikipedia

  • Set splitting — is a logical NP Complete problem which is defined as follows::: Instance : A finite set S and a collection C of finite subsets of S ;:: Query : Can the elements of S be colored with two colors, say red and green, so that no set X ∈ C has all… …   Wikipedia

  • set — set1 [ set ] (past tense and past participle set) verb *** ▸ 1 put someone/something somewhere ▸ 2 make something happen ▸ 3 make equipment ready ▸ 4 decide time/place/value ▸ 5 establish way to do something ▸ 6 do something that influences ▸ 7… …   Usage of the words and phrases in modern English

  • Set theory (music) — Example of Z relation on two pitch sets analyzable as or derivable from Z17 (Schuijer 2008, p.99), with intervals between pitch classes labeled for ease of comparison between the two sets and their common interval vector, 212320. Musical set… …   Wikipedia

  • set — I UK [set] / US verb Word forms set : present tense I/you/we/they set he/she/it sets present participle setting past tense set past participle set *** 1) [transitive] to put someone or something in a position set someone/something… …   English dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”