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

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

Formulation F4662 on R507: Empty set is countable

F4662

Formulation 0

Let $\emptyset$ be the D13: Empty set.

Then $\emptyset$ is a D16: Countable set.