Assiomi di Peano: differenze tra le versioni

Versione delle 16:30, 10 ott 2009

Versione delle 19:15, 30 nov 2009

Riga 4:

<div style="float:center; width:95%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left">

#Esiste un numero naturale, 0 (o 1)

#Ogni numero naturale ha un numero naturale successore

#Numeri diversi hanno successori diversi

#0 (o 1) non è il successore di alcun numero naturale

#Ogni insieme di numeri naturali che contenga lo zero (o l'uno) 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 sottindende anche gli [[assiomi logici]] che gli permettono di operare con la [[logica]] simbolica.