Peano axioms
This article will use the Peano axioms for the definitions of addition of the natural numbers, and the successor function S(a). In particular: