137 437
contributi
Assiomi di Peano: differenze tra le versioni
m
Annullate le modifiche di 151.19.142.137 (discussione), riportata alla versione precedente di Botcrux
Nessun oggetto della modifica Etichette: Modifica da mobile Modifica da web per mobile |
m (Annullate le modifiche di 151.19.142.137 (discussione), riportata alla versione precedente di Botcrux) |
||
|
#Numeri diversi hanno successori diversi
#0 non è il successore di alcun numero naturale
#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 sottintende anche gli [[assiomi logici]] che gli permettono di operare con la [[logica]] simbolica.
| |||