I've found many diferent definitions of isomorphisms depending on the theory you are working on, sadly my book doesn't give an expicit definition. I'm trying to prove that given two Peano's systems there exists an unique isomorphism that moves first element to first element of the corrrespondant Peano's system.
What's the definition I should work with ?