Principle of Mathematical Induction/One-Based/Proof 1

Proof
Let $S$ be the set defined as:


 * $S := \set {n \in \N_{>0}: \map P n \text { is false} }$

$S \ne \O$.

From the Well-Ordering Principle it follows that $S$ has a minimal element $m$.

From $(1)$ we have that $\map P 1$ holds.

Hence $1 \notin S$.

Therefore $m \ne 1$.

Therefore $m - 1 \in \N_{>0}$.

But $m$ is the minimal element of $S$.

So $m - 1 \notin S$.

Therefore $\map P {m - 1}$ is true.

Hence by $(2)$ it follows that $\map P m$.

But then $m \notin S$.

This contradicts our supposition that $m \in S$.

Hence there can be no such $m \in S$.

So $S = \O$ and the result follows.