Empty Set is Countable

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.