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 extra worry began it—on the
Blue blue mountain—she never set foot
And then and there. Meanwhile the host
Mourned her quiet tenure. They all stayed chatting.
No one did much about eating.”
—John Ashbery (b. 1927)
“In the course of a life devoted less to living than to reading, I have verified many times that literary intentions and theories are nothing more than stimuli and that the final work usually ignores or even contradicts them.”
—Jorge Luis Borges (1899–1986)
“The basis of world peace is the teaching which runs through almost all the great religions of the world. “Love thy neighbor as thyself.” Christ, some of the other great Jewish teachers, Buddha, all preached it. Their followers forgot it. What is the trouble between capital and labor, what is the trouble in many of our communities, but rather a universal forgetting that this teaching is one of our first obligations.”
—Eleanor Roosevelt (1884–1962)