Using the definition of natural numbers $0 = \emptyset$ and $S(n) = n \cup \lbrace n \rbrace$ where S is the successor function, what is the definition of addition on natural numbers?
Concerning the definition of negative integers, the wikipedia entry is a bit ambigous: http://en.wikipedia.org/wiki/Integer#Construction
It seems to claim that the integers are defined such that, for example, the natural number 2 is not equal to the integer 2, which is defined as $\lbrace n \in \mathbb{N}^2 | \exists m \in \mathbb{N}:n = (m + 2,m) \rbrace$ or simply $ \lbrace (2,0), (3,1), (4,2), ... \rbrace$, whereas the natural number 2 would be $ \lbrace 0,1 \rbrace = \lbrace \emptyset , \lbrace \emptyset \rbrace \rbrace $. It was to my understanding that the above definition for integers was reserved for the negative integers, for example $ -1 = \lbrace (0,1), (1,2), ... \rbrace $, and the integers would be defined as the union of the sets of negative integers and natural numbers. Is wikipedia wrong and natural 2 = integer 2, or is it the other way around? And in the latter case, are rational 2, real 2 and complex 2 also distinct? (And the ordinal number 2, and the cardinal number 2...)
Assuming the former case, is there an "official" way of defining things next? It seems to me like the easiest way of doing things would be defining first subtraction for $(n,m)$ where $ n \ge m $; that is, $n-m$ is the natural number $ d $ such that $ n = m + d $. Then defining additive inversion, i.e. the unary operation $-$ s.t. $ 0 \mapsto 0$, $ n \mapsto -n$ for nonzero natural $n$ (here $-n$ is the already defined negative integer and not the $-$ operation on $n$), and for negative integers $n$, $ n \mapsto m $ where $m$ is the natural number s.t. $ (0,m) \in n $. From there we can define addition and subtraction more generally for all combinations of natural numbers and negative integers, using additive inversion whenver we get a negative result, for example, $ 3 - (-4) = 3 + 4 $, $ 3 + (-4) = 3 - 4 = - (4-3) $, $ (-3) - 4 = (-3) + (-4) = - (3+4) $.
Tl;dr: what is the definition of addition on naturals, is natural 2 = integer 2 or are they distinct elements, and how do we define addition and subtraction on integers?