Peano arithmetic

From Wiktionary, the free dictionary

Archived revision by WingerBot (talk | contribs) as of 03:59, 1 October 2019.

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

English

English Wikipedia has an article on:

Peano arithmetic

Etymology

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

Noun

Peano arithmetic (uncountable)

(logic) 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.

See also

Presburger arithmetic

Retrieved from "https://en.wiktionary.org/w/index.php?title=Peano_arithmetic&oldid=54488921"