mathematical induction

Noun

• A method of proof which, in terms of a predicate P, could be stated as: if $P(0)$ is true and if for any natural number $n\; \backslash ge\; 0$, $P(n)$ implies $P(n\; +\; 1)$, then $P(n)$ is true for any natural number n.