Because subtraction is not a total operation on positive integers. Negative numbers leave the domain.
Why was it important to Tarski to limit the domain to positive integers? That seems pointlessly arbitrary.
alt Hacker News
Why was it important to Tarski to limit the domain to positive integers? That seems pointlessly arbitrary.