Peano arithmetic
AI In plain words
Writing a short explanation…
Written by a house AI from the entry below, in your language. The entry itself is the source.
Peano arithmetic
Where it comes from
Named after Italian mathematician Giuseppe Peano (1858–1932).
noun Peano arithmetics
- 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.