Assiomi di Peano: differenze tra le versioni

m
Annullata la modifica 100357908 di 82.55.61.154 (discussione)
(Aggiunta del simbolo matematico "Per ogni" nell'assioma 5 per una lettura più chiara.)
m (Annullata la modifica 100357908 di 82.55.61.154 (discussione))
Etichetta: Annulla
:(P5) se <math>U</math> è un sottoinsieme di <math>\mathbb N</math> tale che:
::# <math>0 \in U</math>
::# <math>\forall x \in U</math> implica <math>S(x) \in U</math>
::allora <math>U=\N</math>
</blockquote>