Noetherian induction
Redirect to:
Well-founded relation#Induction and recursion