I understand that integers are not definable in the real numbers using addition. My problem is that I don't know where it fails.
Question: *Are integers definable in the reals using addition? Justify your answer.*
I also understand it should have something to do with an automorphism. I have all the generals without specifics. Can anyone help me out?