Assiomi di Peano: differenze tra le versioni

Versione delle 17:09, 20 lug 2009

Versione delle 16:30, 10 ott 2009

Riga 51:

Un ''[[isomorfismo]]'' tra due ''sistemi di Peano'' <math>(A,a_0,s)</math> e <math>(B,b_0,t)</math> è una [[biiezione]] <math>f:A \to B</math> tale che:

* 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>.