Tag for questions about induction such as mathematical induction, structural induction or well-founded induction (Noetherian).

References