Robinson arithmetic
noun1
- A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.
This dictionary works without the internet: on your phone · in Chrome
This dictionary works without the internet: on your phone · in Chrome