Robinson arithmetic

From Wiktionary, the free dictionary
Jump to navigation Jump to search

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"