Definition:Natural Numbers/Axiomatization

Definition
The natural numbers $\N$ can be axiomatised in the following ways:

1-Based Natural Numbers
The following axioms are intended to capture the behaviour of $\N_{>0}$, the element $1 \in \N_{>0}$, and the operations $+$ and $\times$ as they pertain to $\N_{>0}$: