 Transfinite induction

Transfinite induction is a generalization of mathematical induction that applies to well-ordered sets, particularly those that are not necessarily finite. It allows statements or properties about all ordinal numbers to be proven by establishing a basis and then using the principle of induction over transfinite ordinals.