Definizione
2
[1XB](Svolto il 2022-11-03)
- (N1)
Esiste un numero \(0∈ ℕ\).
- (N2)
Esiste una funzione \(S:ℕ → ℕ\) (chiamata "successore"), tale che 1
- (N3)
\(S(x)≠ 0\) per ogni \(x∈ ℕ\) e
- (N4)
\(S\) è iniettiva, cioè \(x≠ y\) implica \(S(x)≠ S(y)\).
- (N5)
Se \(U\) è un sottoinsieme di \(ℕ\) tale che: \(0∈ U\) e \(∀ x, x ∈ U⇒ S(x)∈ U\) , allora \(U=ℕ\).
Spesso scriveremo \(Sn\) invece di \(S(n)\) per semplicità.