Robinson arithmetic (English, noun)
expansion: Robinson arithmetic (uncountable)
Senses:
topics: mathematics
sciences
wikidata: Q928884
related: word: mul:Q
tags: alternative
glosses: A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.
tags: uncountable
Forms: