Emmy Noether
Well-founded induction is sometimes called Noetherian induction, after Emmy Noether.