Principle of ordinary induction

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.