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

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

Result R432 on D16: Countable set

Set of natural numbers is countable

Formulation 1

Let $\mathbb{N}$ be the D225: Set of natural numbers.

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