Noetherian induction

Redirect to:

• Well-founded relation#Induction and recursion