What is " N " ?
In particular , given two models ( " N "" A " , 0 " A " , " S "" A " ) and ( " N "" B " , 0 " B " , " S "" B " ) of the Peano axioms , there is a unique homomorphism " f " : " N "" A " → " N "" B " satisfying formula_38 and it is a bijection .