Topic summary

Well-founded

Extracted from the Wikipedia article Well-founded relation.

Induction and recursion

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