Assiomi di Peano: differenze tra le versioni

Versione delle 14:56, 18 ott 2005

Versione delle 15:00, 18 ott 2005

Riga 49:

* manda ciascuno dei due "zeri" nell'altro, cioè <math>f(a_0)=b_0</math> e

* manda elementi "successivi" in elementi "successivi", cioè <math>f(s(a))=t(f(a))</math>.<br>

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 BA</math> definita da:<br>

:<math>0 \mapsto x_0</math><br>

:<math>1 \mapsto s(x_0)</math><br>