# Robinson arithmetic

> English word · Noun

## Definitions
1. A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.

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

## Source
Compiled from Wiktionary via kaikki.org (CC BY-SA). Data vintage: 2026-05-06.
Canonical page: https://plainspell.com/en/word/robinson-arithmetic