Meanings
nounRobinson arithmetic (uncountable)
- uncountablemathematicsA finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.
Origin
First set out by R. M. Robinson in 1950.
Full word history & related roots →Cite this entry
APA
Robinson arithmetic. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/Robinson%20arithmetic
MLA
“Robinson arithmetic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Robinson%20arithmetic. Accessed November 3, 2026.
Chicago
WatkinsX Dictionary, s.v. “Robinson arithmetic,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/Robinson%20arithmetic.
Source: Robinson arithmetic on Wiktionary, CC BY-SA 4.0.