Source: wikibot/transfinite-induction
= Transfinite induction
{wiki=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.