Wiktionary

Robinson arithmetic

English edit

Etymology edit

First set out by R. M. Robinson in 1950.

Noun edit

Robinson arithmetic (uncountable)

  1. (mathematics) A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.
Retrieved from "https://en.wiktionary.org/w/index.php?title=Robinson_arithmetic&oldid=62392176"