Top Qs
Timeline
Chat
Perspective
Robinson arithmetic
From Wiktionary, the free dictionary
Remove ads
English
Etymology
First set out by R. M. Robinson in 1950.
Noun
Robinson arithmetic (uncountable)
- (mathematics) A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.
- Alternative form: Q (symbol)
Remove ads
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads