Definition:Second Principle of Mathematical Induction/Basis for the Induction

Terminology of Second Principle of Mathematical Induction
Consider a proof by complete induction.

The step that shows that the proposition $\map P {n_0}$ is true for the first value $n_0$ is called the basis for the induction.

Also known as
The basis for the induction is often informally referred to as the base case.