Robinson arithmetic
nounEtymology First set out by R. M. Robinson in 1950.
1
Mathematics, Sciences A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.