\begin{definition}[Definition:Language of Arithmetic]
A '''language of arithmetic''' is a signature for predicate logic consisting of:
* the binary operation symbols: $+$ and $\cdot$
* the unary function symbol: $s$
* the binary relation symbol: $<$
* the constant symbol: $0$
\end{definition}