peano-arithmetic

Noun

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

Origin

After Italian mathematician Giuseppe Peano (1858–1932).

English Wiktionary. Available under CC-BY-SA license.

Link to this page

Cite this page

MLA Style

"peano-arithmetic." YourDictionary, n.d. Web. 22 March 2019. <https://www.yourdictionary.com/peano-arithmetic>.

APA Style

peano-arithmetic. (n.d.). Retrieved March 22nd, 2019, from https://www.yourdictionary.com/peano-arithmetic

Join YourDictionary today