エミー・ネーター
このような整礎帰納法 (') は、エミー・ネーターにちなんでネーター帰納法 (') とも呼ばれることがある。