ThmDex – An index of mathematical definitions, results, and conjectures.
Result R104 on D16: Countable set
Set of rational numbers is countable
Formulation 0
Let $\mathbb{Q}$ be the D368: Set of rational numbers.
Then $\mathbb{Q}$ is a D16: Countable set.