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.