V and Set Theory
If ω is the set of natural numbers, then Vω is the set of hereditarily finite sets, which is a model of set theory without the axiom of infinity. Vω+ω is the universe of "ordinary mathematics", and is a model of Zermelo set theory. If κ is an inaccessible cardinal, then Vκ is a model of Zermelo-Fraenkel set theory (ZFC) itself, and Vκ+1 is a model of Morse–Kelley set theory.
V is not "the set of all sets" for two reasons. First, it is not a set; although each individual stage Vα is a set, their union V is a proper class. Second, the sets in V are only the well-founded sets. The axiom of foundation (or regularity) demands that every set is well founded and hence in V, and thus in ZFC every set is in V. But other axiom systems may omit the axiom of foundation or replace it by a strong negation (for example is Aczel's anti-foundation axiom). These non-well-founded set theories are not commonly employed, but are still possible to study.
Read more about this topic: Von Neumann Universe
Famous quotes containing the words set and/or theory:
“We set up a certain aim, and put ourselves of our own will into the power of a certain current. Once having done that, we find ourselves committed to usages and customs which we had not before fully known, but from which we cannot depart without giving up the end which we have chosen. But we have no right, therefore, to claim that we are under the yoke of necessity. We might as well say that the man whom we see struggling vainly in the current of Niagara could not have helped jumping in.”
—Anna C. Brackett (1836–1911)
“The theory of rights enables us to rise and overthrow obstacles, but not to found a strong and lasting accord between all the elements which compose the nation.”
—Giuseppe Mazzini (1805–1872)