Assiomi di Peano: differenze tra le versioni

Versione delle 21:03, 3 apr 2019

Versione delle 19:50, 27 apr 2019

Riga 59:

''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 ==