Jump to content

Robinson arithmetic

From Wiktionary, the free dictionary

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=82046506"