Assiomi di Peano: differenze tra le versioni

Versione delle 23:25, 9 giu 2006

Versione delle 18:26, 15 giu 2006

Riga 53:

* manda elementi "successivi" in elementi "successivi", cioè <math>f(s(a))=t(f(a))</math>.<br>

Con queste definizioni siamo in grado di dare una risposta alla domanda iniziale: la risposta è positiva, gli assiomi sono sufficienti a dare una caratterizzazione univoca, cioè non esistono modelli non isomorfi alla struttura dei numeri naturali. E'È ciò che afferma il

'''Teorema di Categoricità''': Tutti i sistemi di Peano sono isomorfi al sistema <math>(\mathbb N, 0, S)</math>.