Proposizione
2
[1XC] Sia \(A⊇ ℕ\) e \(P(n)\) una proposizione logica che possa essere valutata per \(n∈ A\). Supponiamo siano soddisfatte le due seguenti ipotesi:
\(P(n)\) è vera per \(n=0\) e
\(∀ n∈ ℕ, P(n)⇒ P(S(n))\) ;
allora \(P\) è vera per ogni \(n∈ ℕ\).
Proof
Sia \(U=\{ n∈ ℕ:P(n)\} \) sappiamo che \(0∈ U\) e che \(∀ x, x ∈ U⇒ S(x)∈ U\) , allora da (N5) si conclude \(U=\mathbb {N}\).