Empty Set is Countable

Theorem
The empty set $\varnothing$ is countable.

Proof
By Peano's Axioms, $\N_0 \sim \varnothing$, where $\N_n$ denotes the initial segment of natural number $n$.

By definition, $\varnothing$ is finite.

By definition, $\varnothing$ is countable set.