| • Science | • People | • Locations | • Timeline |
Some classes are sets, for instance the class of all integers that are even, but others are not, for instance the class of all ordinal numbers or the class of all sets. Classes that are not sets are called proper classes.
A proper class cannot be an element of a set or a class and is not subject to the Zermelo-Fraenkel axioms of set theory; thereby a number of paradoxes of naive set theory are avoided. Instead, these paradoxes become proofs that a certain class is proper. For example, Russell's paradox becomes a proof that the class of all sets is proper, and the Burali-Forti paradox becomes a proof that the class of all ordinal numbers is proper.
The standard Zermelo-Fraenkel set theory axioms do not talk about classes; classes exist only in the metalanguage as equivalence classes of logical formulas. Another approach is taken by the von Neumann-Bernays-Gödel axioms; 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. The proper classes, then, are those classes that are not elements of any other class.
Several objects in mathematics are too big for sets and need to be described with classes, for instance large categoriesCategory theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them. It is half-jokingly known as "generalized abstract nonsense". See list of category theory topics for a breakdown of relevan or the class-field of surreal numberThe surreal numbers are an example of what is sometimes called a Field (with a capital F), meaning a proper class on which there is defined an addition, multiplication and multiplicative inverse which satisfy all of the axioms of a field except for the fas.
The word "class" is sometimes used synonymously with "set," most notably in the term " equivalence classIn mathematics, given a set X and an equivalence relation ~ on X the equivalence class of an element a in X is the subset of all elements in X which are equivalent to a :[a] { x in X | x ~ a } The notion of equivalence classes is useful for constructing s." This usage dates from a historical period where classes and sets were not distinguished as they are in modern terminology. Many discussions of "classes" in the 19th centuryAlternative meaning: Nineteenth Century (periodical ( 18th century — 19th century — 20th century — more centuries) As a means of recording the passage of time, the 19th century was that century which lasted from 1801- 1900. Events The Little Ice Age ended and earlier are really referring to sets, or perhaps to a more ambiguous concept.
Category theoryCategory theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them. It is half-jokingly known as "generalized abstract nonsense". See list of category theory topics for a breakdown of relevan Set theory