Natural Integer Isomorphism
Why
Do the natural numbers correspond (in the sense of Isomorphisms) to elements of the set integers.
Main result
Indeed, the natural numbers correspond to $Z_+$.
$(\Z _{++}, + \mid \Z _{++})$ and $(\omega ,
+)$ are isomorphic.
The function is $f(n) = \eqc{(n, 0)}$.1
- The full account will appear in future editions. ↩︎