Complete (or mathematical) induction is a method of proving an assertion is true for every natural number by first showing that the base case (that is or ) is true, then showing that the truth of for some implies the truth of . When we have done these two things we have proven for all .
Now look at Tonio's solution and you will see that it fits this proof method.
Complete induction is often taken as an axiom of arithmetic.
CB