Assiomi di Peano: differenze tra le versioni

Versione delle 15:38, 20 dic 2005

Versione delle 21:21, 2 feb 2006

Riga 20:

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

:(P5) se <math>U</math> è un sottoinsieme di <math>\mathbb N</math> tale che:

::# <math>0 \in \mathbb U</math>

::# <math>x \in \mathbb U</math> implica <math>S(x) \in \mathbb U</math>

::allora <math>\mathbb U=\mathbb N</math>

</blockquote>