Category:Class Theory
Jump to navigation
Jump to search
This category contains results about Class Theory.
Definitions specific to this category can be found in Definitions/Class Theory.
Class theory is an extension of set theory which allows the creation of collections that are not sets by classes.
Subcategories
This category has the following 49 subcategories, out of 49 total.
A
- Axiom of Infinity (1 P)
- Axiom of Pairing (5 P)
- Axiom of Powers (1 P)
- Axiom of Replacement (4 P)
- Axiom of Swelledness (1 P)
B
- Basic Universe (6 P)
C
- Class Difference (2 P)
- Class Theory Work in Progress (45 P)
- Countably Infinite Classes (empty)
D
- Doubleton Classes (4 P)
E
- Empty Class (8 P)
F
- Finite Classes (2 P)
G
- G-Sets (1 P)
- Gödel-Bernays Class Theory (8 P)
I
- Infinity (empty)
M
N
- Not Every Class is a Set (3 P)
O
- Ordered Classes (empty)
P
- Proper Well-Orderings (3 P)
R
- Relational Closures (6 P)
S
- Supercomplete Classes (3 P)
T
- Transitive-Closed Classes (1 P)
U
- Uncountable (empty)
- Universal Class (3 P)
- Universal Class is Proper (4 P)
V
Z
Pages in category "Class Theory"
The following 36 pages are in this category, out of 36 total.
C
- Cartesian Product with Proper Class is Proper Class
- Characterization of Class Membership
- Characterization of Minimal Element
- Class Equality is Reflexive
- Class Equality is Symmetric
- Class Equality is Transitive
- Class has Subclass which is not Element
- Class is Extensional
- Class is Not Element of Itself
- Class is Transitive iff Union is Subclass
- Class of All Cardinals is Proper Class
- Collection of Sets Equivalent to Set Containing Empty Set is Proper Class