Wikipedia constructs an integer as the difference of natural numbers denoted by an
oriented pair. Negation is a flip of the orientation. A positive integer is a
difference, but the literature generally says it can be taken as a natural number.
A positive integer has an additive inverse, a natural number does not. How am I to
to understand a positive integer as a natural number?
The set of natural numbers is not a group because additive opposites of natural numbers are not natural numbers.
When we extend the natural numbers to the set of integers, then we allow negative integers and the set of integers will be a group.
Then we can consider the set of natural numbers as a subset of the group of integers, thus a positive integer has an additive opposite which is an integer but is not a natural number.
Thus when we say natural numbers do not have additive opposites, we mean the additive opposite is not a natural number.