EDB — 26K

view in whole PDF view in whole HTML

View

Italian

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 ZF.

Download PDF
Managing blob in: Multiple languages
This content is available in: Italian English