Set Theories With A Universal Set
There are set theories known to be consistent (if the usual set theory is consistent) in which the universal set V does exist (and is true). In these theories, Zermelo's axiom of separation does not hold in general, and the axiom of comprehension of naive set theory is restricted in a different way.
The most widely studied set theory with a universal set is Willard Van Orman Quine’s New Foundations. 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, but this is not possible for Oberschelp’s, since in it the singleton function is provably a set, which leads immediately to paradox in New Foundations.
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.
Read more about this topic: Universal Set
Famous quotes containing the words set, theories and/or universal:
“The poverty of our century is unlike that of any other. It is not, as poverty was before, the result of natural scarcity, but of a set of priorities imposed upon the rest of the world by the rich. Consequently, the modern poor are not pitied ... but written off as trash. The twentieth-century consumer economy has produced the first culture for which a beggar is a reminder of nothing.”
—John Berger (b. 1926)
“A work of art that contains theories is like an object on which the price tag has been left.”
—Marcel Proust (1871–1922)
“Not because Socrates has said it, but because it is really in my nature, and perhaps a little more than it should be, I look upon all humans as my fellow-citizens, and would embrace a Pole as I would a Frenchman, subordinating this national tie to the common and universal one.”
—Michel de Montaigne (1533–1592)