Assiomi di Peano: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
DSK (discussione | contributi) Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 11:
#Ogni sottoinsieme di numeri naturali che contenga lo zero e il successore di ogni proprio elemento coincide con l'intero insieme dei numeri naturali (assioma dell'induzione)
</div>
Si prende 0 o 1 a seconda del modello dei numeri naturali voluto. Oltre a questi assiomi, Peano
== Significato matematico degli assiomi ==
|