User:Minichiello/Sandbox

Theorem
Let $A$ be nonempty. $A$ is countable iff $\exists$ a surjective function $f:\Z_+\to A$ iff $\exists$ an injective function $g:A\to\Z_+$