Peano Axioms are axioms defining natural numbers set using set language. With and defined by Peano Arithmetic, forms a commutative semiring. The goal of this analysis is to formalize arithmetic. As opposed to accepting arithmetic results as fact, arithmetic results are built through the Peano Axioms and the process of mathematical induction.
The successor function, denoted as takes a natural number as an argument, and returns the next successive natural number as a result. In the ordinary arithmetic notation, this is:
However, this notation is generally avoided when using the successor function. Typically, the goal is to define mathematical operations and results purely through the successor function, in particular, as a series of nested successor functions. For example,
The axioms are as follows. is a symbol standing for a constant and is the unary successor function.
- (Note that 0 is included as a natural number in this analysis.)
These axioms will be used to "prove" arithmetic facts on the set of natural numbers with the process of induction.
Peano Arithmetic defines two binary functions in set , namely addition and multiplication . They are defined recursively:
And this is actually in our normally used symbols.
From now on, for simplicity, we will use the normally used symbols to represent the natural numbers instead of a long series of .