Develops well-orders, transfinite induction, ordinal arithmetic, cardinality, and cardinal arithmetic. Learners compare infinite sizes and carry out recursive definitions across transfinite stages.
