ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F4322 on R104: Set of rational numbers is countable

F4322

Formulation 0

Let $\mathbb{Q}$ be the D368: Set of rational numbers.

Then $\mathbb{Q}$ is a D16: Countable set.