Assiomi di Peano: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m link |
|||
Riga 56:
:<math>n \mapsto s(...s(s(x_0))</math> con <math>n</math> composizioni di <math>s</math>.<br>
== Modelli non di Peano ==
Può essere istruttivo presentare delle terne <math>(X, x_0, S)</math> dove uno degli assiomi di Peano non venga soddisfatto e <math>X</math> non sia isomorfo all'insieme dei numeri naturali:
* Eliminando (P1), possiamo prendere per <math>X</math> l'insieme vuoto; se non ci sono elementi nell'insieme, gli altri assiomi sono banalmente veri.
| |||