Source: wikibot/transfinite-induction

= Transfinite induction
{wiki=Transfinite_induction}