エミー・ネーター
Well-founded induction is sometimes called Noetherian induction, after Emmy Noether.