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:
“[My mother told me:] “You must decide whether you want to get married someday, or have a career.”... I set my sights on the career. I thought, what does any man really have to offer me?”
—Annie Elizabeth Delany (b. 1891)
“Our books of science, as they improve in accuracy, are in danger of losing the freshness and vigor and readiness to appreciate the real laws of Nature, which is a marked merit in the ofttimes false theories of the ancients.”
—Henry David Thoreau (1817–1862)
“So in accepting the leading of the sentiments, it is not what we believe concerning the immortality of the soul, or the like, but the universal impulse to believe, that is the material circumstance, and is the principal fact in this history of the globe.”
—Ralph Waldo Emerson (1803–1882)