The use of the Induction Principle in a Proof. Induction used in mathematics is often called Mathematical Induction.
References
Buck, R. C. ``Mathematical Induction and Recursive Definitions.'' Amer. Math. Monthly 70, 128-135, 1963.
