Cantor’s diagonalization argument shows that there are exactly as many rational numbers as there are natural numbers.