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

## Terminology of Principle of Mathematical Induction

Consider a **Proof by Mathematical 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**.

## Sources

- 2000: Michael R.A. Huth and Mark D. Ryan:
*Logic in Computer Science: Modelling and reasoning about systems*... (previous) ... (next): $\S 1.4.2$: Mathematical induction: Definition $1.29$