Assiomi di Peano: differenze tra le versioni

Versione delle 11:48, 4 ott 2005

Versione delle 11:51, 4 ott 2005

Riga 12:

</div>

I primi due assiomi ci dicono che abbiamo a che fare con un [[insieme]] <math>X</math> (i "numeri naturali") che contiene un elemento 'speciale' <math>x_0</math> (lo "zero") e che è [[dominio]] e [[codominio]] di una [[funzione (matematica)|funzione]] <math>S:X \rightarrow X</math> che associa ad un elemento di <math>X</math> un nuovo elemento chiamato "successore". Gli altri tre assiomi descrivono le proprietà di questa funzione "successore" in un modo che formalmente è il seguente:

<blockquote style="padding: 1em; border: 2px dotted purple;">

:(P1) <math>S(x)\neq x_0</math> per ogni <math>x \in X</math>