In NBG Class Theory
In von Neumann–Bernays–Gödel set theory, a distinction is made between sets and classes. A class C is a set if and only if it belongs to some class E. In this theory, there is a theorem schema that reads:
that is:
- There is a class D such that any class C is a member of D if and only if C is a set that satisfies P.
This theorem schema is itself a restricted form of comprehension, which avoids Russell's paradox because of the requirement that C be a set. Then specification for sets themselves can be written as a single axiom:
that is:
- Given any class D and any set A, there is a set B whose members are precisely those classes that are members of both A and D;
or even more simply:
- The intersection of a class D and a set A is itself a set B.
In this axiom, the predicate P is replaced by the class D, which can be quantified over.
Read more about this topic: Axiom Schema Of Specification
Famous quotes containing the words class and/or theory:
“The pursuit of Fashion is the attempt of the middle class to co-opt tragedy. In adopting the clothing, speech, and personal habits of those in straitened, dangerous, or pitiful circumstances, the middle class seeks to have what it feels to be the exigent and nonequivocal experiences had by those it emulates.”
—David Mamet (b. 1947)
“The theory [before the twentieth century] ... was that all the jobs in the world belonged by right to men, and that only men were by nature entitled to wages. If a woman earned money, outside domestic service, it was because some misfortune had deprived her of masculine protection.”
—Rheta Childe Dorr (1866–1948)