Assiomi di Peano: differenze tra le versioni

#Numeri diversi hanno successori diversi

#0 non è il successore di alcun numero naturale

</div>

Si prende 0 o 1 a seconda del modello dei numeri naturali voluto. Oltre a questi assiomi, Peano sottindende anche gli [[assiomi logici]] che gli permettono di operare con la [[logica]] simbolica.