Robinson arithmetic
Robinson arithmetic noun: a finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.
Noun
Robinson arithmetic (uncountable)
- A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.
Origin of Robinson arithmetic
First set out by R. M. Robinson in 1950.
Questions about Robinson arithmetic
- What does Robinson arithmetic mean?
- Robinson arithmetic means a finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.
- What part of speech is Robinson arithmetic?
- Robinson arithmetic is a noun.
Words near Robinson arithmetic in the dictionary
Source and license
Adapted from Wiktionary: Robinson arithmetic (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “Robinson arithmetic.” Word.ws, https://word.ws/robinson_arithmetic. Based on Wiktionary, CC BY-SA 4.0.
