Assiomi di Peano: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m aggiunta Categoria:Logica nell'informatica usando HotCat |
Aggiunta del simbolo matematico "Per ogni" nell'assioma 5 per una lettura più chiara. |
||
Riga 23:
:(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>
| |||