The proof is when you can create a bijective function between the sets then they have the same cardinality. The “zip” function can do this between integers and rationals.