Empty Set is Countable
Jump to navigation
Jump to search
Theorem
The empty set $\O$ is countable.
Proof
By Peano's Axioms, $\N_0 \sim \O$, where $\N_n$ denotes the initial segment of natural number $n$.
By definition, $\O$ is finite.
By definition, $\O$ is a countable set.
$\blacksquare$