- Ordinal Number
- Order Type
- Ordinal Successor
- Inductive Set
- Limit Ordinal
- Natural Numbers
- Finite and Infinite Set
- Countable and Uncountable Set
- Induction
- Transfinite Induction
- Sequence
- Limit of Ordinal Sequence
- Continuous Ordinal Sequence
- Normal Ordinal Sequence
- Transfinite Recursion
- Ordinal Arithmetic