What does the principle of ordinary induction state?

A proof technique with a base case and an inductive step that assumes the property holds for the immediate predecessor to prove it for the successor.