Definition:Addition on 1-Based Natural Numbers

Definition
Let $\N_{>0}$ be the $1$-based natural numbers, axiomatized by:

The operation $+$ in this axiomatizaton is called addition.