411 REFERENCE · Wiktionary
Robinson arithmetic
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
First set out by R. M. Robinson in 1950.
Noun
-
en Q928884 en math A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.
en mul:Q<id:Q928884><qq:symbol>
en eponyms