Category:Class Theory Work in Progress
Jump to navigation Jump to search
These are pages containing class-theoretic material whose content needs to be rationalised into a consistent treatment of the subject.
See the NotZFC template.
Pages in category "Class Theory Work in Progress"
The following 45 pages are in this category, out of 45 total.
- Cartesian Product with Proper Class is Proper Class
- Class Equality is Reflexive
- Class Equality is Symmetric
- Class Equality is Transitive
- Class is Proper iff Bijection from Class to Proper Class
- Class is Proper iff Bijection from Class to Proper Class/Corollary
- Class of All Ordinals is Ordinal
- Condition for Injective Mapping on Ordinals