> You can prove that if you try to map each integer to some rational number, there will be some rational numbers that are not on that list --- there are more of them.
Did you mean reals here? There _is_ a (bijection) mapping between integers and rationals.