transfinite induction Synonyms

noetherian induction structural induction well-founded induction