Peano axioms
Summary
The Peano axioms are a set of axioms, either in first- or second-order logic, for the system of natural numbers. The axioms define a successor operation and the principle of induction, and in some versions, addition, multiplication, and ordering as well. The Peano axioms serve as a formal model for number theory.
Context
This concept has the prerequisites:
- first-order logic (The axioms can be stated in first-order logic.)
Core resources (we're sorry, we haven't finished tracking down resources for this concept yet)
Supplemental resources (the following are optional, but you may find them useful)
-Free-
→ Wikipedia
See also
-No Additional Notes-