English Explanatory Dictionary

Robinson arithmetic

English dictionary entry

Meanings

noun
  1. A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.

Word forms

Robinson arithmetic

Etymology

First set out by R. M. Robinson in 1950.

Related words

mul:Q
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on R Russian dictionary Dahl dictionary