Teorema di isomorfismo: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m +{{wik}}+{{da aiutare}}
Nessun oggetto della modifica
Riga 1:
{{da aiutare|motivo=WND|data=dicembre 2005}}
 
'''Teorema di isomorfismo'''
 
Se <math>(A,S,z)</math> e <math>(A',S',z')</math> sono terne di Peano,
allora esiste una mappa fφ:A ----> AA→A t.c.
1. fφ è biiettiva;
2. fφ(z)=z';
3. fφ(S(a))=S'(fφ(a)).