\begin{definition}[Definition:Multiplication on 1-Based Natural Numbers]
Let $\N_{>0}$ be the $1$-based natural numbers, axiomatized by:
{{:Axiom:Axiomatization of 1-Based Natural Numbers}}
The operation $\times$ in this axiomatization is called '''multiplication'''.
Category:Definitions/Natural Numbers
Category:Definitions/Multiplication
\end{definition}