Classes in Formal Set Theories
ZF set theory does not formalize the notion of classes. They can instead be described in the metalanguage, as equivalence classes of logical formulas. For example, if is a structure interpreting ZF, then the metalanguage expression is interpreted in by the collection of all the elements from the domain of ; that is, all the sets in . So we can identify the "class of all sets" with the predicate x=x or any equivalent predicate.
Because classes do not have any formal status in the theory of ZF, the axioms of ZF do not immediately apply to classes. However, if an inaccessible cardinal κ is assumed, then the sets of smaller rank form a model of ZF (a Grothendieck universe), and its subsets can be thought of as "classes".
Another approach is taken by the von Neumann–Bernays–Gödel axioms (NBG); classes are the basic objects in this theory, and a set is then defined to be a class that is an element of some other class. However, the set existence axioms of NBG are restricted so that they only quantify over sets, rather than over all classes. This causes NBG to be a conservative extension of ZF.
Morse–Kelley set theory admits proper classes as basic objects, like NBG, but also allows quantification over all proper classes in its set existence axioms. This causes MK to be strictly stronger than both NBG and ZF.
In other set theories, such as New Foundations or the theory of semisets, the concept of "proper class" still makes sense (not all classes are sets) but the criterion of sethood is not closed under subsets. For example, any set theory with a universal set has proper classes which are subclasses of sets.
Read more about this topic: Class (set Theory)
Famous quotes containing the words classes in, classes, formal, set and/or theories:
“By his very success in inventing labor-saving devices, modern man has manufactured an abyss of boredom that only the privileged classes in earlier civilizations have ever fathomed.”
—Lewis Mumford (1895–1990)
“Journalists belong in the gutter because that is where the ruling classes throw their guilty secrets.”
—Gerald Priestland (b. 1927)
“The conviction that the best way to prepare children for a harsh, rapidly changing world is to introduce formal instruction at an early age is wrong. There is simply no evidence to support it, and considerable evidence against it. Starting children early academically has not worked in the past and is not working now.”
—David Elkind (20th century)
“He could walk, or rather turn about in his little garden, and feel more solid happiness from the flourishing of a cabbage or the growing of a turnip than was ever received from the most ostentatious show the vanity of man could possibly invent. He could delight himself with thinking, “Here will I set such a root, because my Camilla likes it; here, such another, because it is my little David’s favorite.””
—Sarah Fielding (1710–1768)
“It takes twenty or so years before a mother can know with any certainty how effective her theories have been—and even then there are surprises. The daily newspapers raise the most frightening questions of all for a mother of sons: Could my once sweet babes ever become violent men? Are my sons really who I think they are?”
—Mary Kay Blakely (20th century)