# 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.

### A

### C

- 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