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

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

Formulation F11753 on R432: Set of natural numbers is countable

F11753

Formulation 1

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

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