Peano arithmetic
Peano arithmetic is a classical first-order logic, which aims to axiomatize the natural numbers. As such, it is the most important example of an arithmetic.
Please expand.
References
- Peano axioms on Wikipedia.
Peano arithmetic is a classical first-order logic, which aims to axiomatize the natural numbers. As such, it is the most important example of an arithmetic.
Please expand.