Category:Natural Number Addition is Cancellable
Jump to navigation
Jump to search
This category contains pages concerning Natural Number Addition is Cancellable:
Let $\N$ be the natural numbers.
Let $+$ be addition on $\N$.
Then:
- $\forall a, b, c \in \N: a + c = b + c \implies a = b$
- $\forall a, b, c \in \N: a + b = a + c \implies b = c$
That is, $+$ is cancellable on $\N$.
Pages in category "Natural Number Addition is Cancellable"
The following 3 pages are in this category, out of 3 total.