# Definition:Second Principle of Mathematical Induction/Induction Hypothesis

The assumption that $\forall j: n_0 \le j \le k: \map P j$ is true for some $k \in \Z$ is the induction hypothesis.