Hi, given a model M of ZF, one can define w model N_M of peano arithmetics in the obvious way. is it known wheather for different M's the models N_M's are elementarily equivalent, or one knows an example of two models of ZF which have "different" N_M's ? ps. Happy New Year.