+Transfinite Induction is an extension of [Mathematical Induction](/wiki/Mathematical_Induction) used to prove statements about elements of any [Well-ordered Set](/wiki/Well-ordered_Set). It provides a method to establish properties for every ordinal number, reaching beyond the finite realm into the transfinite.
+## See also
+- [Ordinal Numbers](/wiki/Ordinal_Numbers)
+- [Set Theory](/wiki/Set_Theory)
+- [Axiom of Choice](/wiki/Axiom_of_Choice)
... 1 more lines