Robinson arithmetic en · NOUN
Etymology
First set out by R. M. Robinson in 1950.
Meanings
- (uncountable) A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.
Dictionary
Words, grammatical forms and meanings linked to the ontology.