Assiomi di Peano: differenze tra le versioni

Versione delle 14:58, 29 mag 2006

Versione delle 23:25, 9 giu 2006

Riga 16:

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

:(P1) Esiste un numero <math>0 \in \mathbb N</math>

:(P2) Esiste una [[funzione (matematica)|funzione]] <math>S: \N \to \N</math> (chiamata "successore")

:(P3) <math>x\neq y</math> implica <math>S(x)\neq S(y)</math>

:(P4) <math>S(x)\neq 0</math> per ogni <math>x \in \mathbb N</math>