First order arithmetic

Redirect to:

• Peano axioms#First-order theory of arithmetic