Peano arithmetic

English dictionary entry

Meanings

noun
  1. 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.

Word forms

Peano arithmetic Peano arithmetics

Etymology

Named after Italian mathematician Giuseppe Peano (1858–1932).

Related words

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.