Ordinals

Transfinite induction, ordinals, and the von Neumann ordinal representation.