411 REFERENCE · Wiktionary
Peano arithmetic
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
en Giuseppe Peano = Italian mathematician 1858 1932.
Noun
~
en 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.
Translations
Finnish: fi Peanon aritmetiikka
German: de Peanoarithmetik f
Polish: pl arytmetyka Peana f
See also
en Presburger arithmetic