Universal Set - Set Theories With A Universal Set

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:

    There is nothing less to our credit than our neglect of the foreigner and his children, unless it be the arrogance most of us betray when we set out to “americanize” him.
    Charles Horton Cooley (1864–1929)

    The two most far-reaching critical theories at the beginning of the latest phase of industrial society were those of Marx and Freud. Marx showed the moving powers and the conflicts in the social-historical process. Freud aimed at the critical uncovering of the inner conflicts. Both worked for the liberation of man, even though Marx’s concept was more comprehensive and less time-bound than Freud’s.
    Erich Fromm (1900–1980)

    All men, in the abstract, are just and good; what hinders them, in the particular, is, the momentary predominance of the finite and individual over the general truth. The condition of our incarnation in a private self, seems to be, a perpetual tendency to prefer the private law, to obey the private impulse, to the exclusion of the law of the universal being.
    Ralph Waldo Emerson (1803–1882)