Teorema di isomorfismo: differenze tra le versioni

Se <math>(A,S,z)</math> e <math>(A',S',z')</math> sono [[terna di Peano|terne di Peano]],

allora esiste una mappa φ:A→A t.c.tale che

1.# φ è biiettiva;

2.# φ(z)=z';

3.# φ(S(a))=S'(φ(a)).