Depends how the natural numbers are defined. By the Peano Axioms, they do include 0. For the validity of the proof, it doesn't matter. In theory, you could use any integer as a base case and prove the statement for all integers bigger than or equal to it as long as the induction step is correct