well-founded induction

1. REDIRECT Well-founded relation#Induction and recursion {{R with possibilities}}

Category:Mathematical induction