{{Commons category|Induction (mathematics)}}
{{cat main}}
Category:Proof theory
Category:Mathematical proofs
Category:Recursion
Category:Methods of proof