Proposizione
50
[1XS] Assumiamo che un ordinamento (parziale) associato a \(ℕ\) soddisfi [26H]. Sia \(P(n)\) una proposizione logica vera per \(n=0\) e tale che
\begin{equation} ∀ n∈ ℕ , \Big( \big(∀ k≤ n, P(k)\big)⇒ P(Sn)\Big)\label{eq:passo_ induttivo_ forte} \end{equation}
51
allora \(P\) è vera per ogni \(n∈ℕ\).