transfinite induction

Induction over some (typically large) ordinal.