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ββ\).