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:
“Well, most men have bound their eyes with one or another handkerchief, and attached themselves to some of these communities of opinion. This conformity makes them not false in a few particulars, authors of a few lies, but false in all particulars. Their every truth is not quite true. Their two is not the real two, their four not the real four; so that every word they say chagrins us and we know not where to set them right.”
—Ralph Waldo Emerson (1803–1882)
“The theories and speculations of men concern us more than their puny accomplishment. It is with a certain coldness and languor that we loiter about the actual and so-called practical.”
—Henry David Thoreau (1817–1862)
“Example is a bright looking-glass, universal and for all shapes to look into.”
—Michel de Montaigne (1533–1592)