"Representation of the ordinal numbers up to ωω. Each turn of the spiral represents one power of ω. Transfinite induction requires proving a base case (used for 0), a successor case (used for those ordinals which have a predecessor), and a limit case (used for ordinals which don't have a predecessor)."