Peano arithmetic

Short definition from Wiktionary

Noun

A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, addition and multiplication, including a first-order schema of induction.

We haven’t written up Peano arithmetic yet: Simple and Standard meanings, examples and a quiz.