Rational Numbers are Countably Infinite

Theorem
The set $\Q$ of rational numbers is countably infinite.