ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3480 on R797: Principle of weak mathematical induction on the natural numbers
P3480
This result is a particular case of R796: Principle of weak mathematical induction with $a : = 0$. $\square$