Definition:Basis for the Induction

Terminology of Mathematical Induction
Consider a proof by mathematical induction:

The step that establishes the truth of $Q$ for $w_0$ is called the basis for the induction.

Expressed in the various contexts of mathematical induction:

Also see

 * Definition:Induction Hypothesis
 * Definition:Induction Step