Transfinite induction

A method of proving statements about infinite sets.