Nota
186
[26K]Questo modello di \(ℕ\) soddisfa gli Assiomi di Peano; inoltre la relazione d’ordine soddisfa i principi richiesti in Ipotesi [26H]; dunque questo modello di \(ℕ\) gode di tutte le proprietà presentate in Sez. [1X9]: le diverse versioni del principio di induzione; \((ℕ,⊆)\) è bene ordinato; le definizioni per ricorsione; l’aritmetica; ecc.
Quando vorremo confrontare questo modello con altri modelli, lo indicheremo con \(ℕ_\text {ZF}\).