Assiomi di Peano: differenze tra le versioni

m
m (Bot: spaziatura sezioni e modifiche minori)
Etichetta: Editor wikitesto 2017
 
''Dimostrazione'': un isomorfismo tra un qualunque sistema di Peano <math>(A,a_0,s)</math> e il sistema <math>(\mathbb N,0,S)</math> si ha considerando la biiezione <math>f:\mathbb N \to A</math> definita da:<br/>
:<math>0 \mapstobegin{align} a_0</math><br/>
:<math>10 &\mapsto s(a_0)</math><br/>\\
:<math>21 &\mapsto s(s(a_0))</math><br/>\\
2 &\mapsto s(s(a_0))\\
:...<br/>
\vdots
:<math>n \mapsto s(s(...s(s(a_0))...))</math> con <math>n</math> composizioni di <math>s</math>.<math>\square</math>
n &\mapsto s(s(...s(s(a_0))...))
\end{align}</math>
:<math>n \mapsto s(s(...s(s(a_0))...))</math> con <math>n</math> composizioni di <math>s</math>.<math>\square</math>
 
== Indipendenza degli assiomi ==