Dictionary

Words, grammatical forms and meanings linked to the ontology.

Peano arithmetic en · NOUN

Etymology

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

Meanings

(countable, uncountable) 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.

Forms

Spelling	Features	Labels	Source
Peano arithmetics	Number=Plur		lexicographic

Relateds

Presburger arithmetic

Translations (3)

fi Peanon aritmetiikka (Translations) · de Peanoarithmetik (Translations) · pl arytmetyka Peana (Translations)