Robinson arithmetic (after Raphael M. Robinson) is a finitely axiomatized weakening of Peano arithmetic in which the induction schema is dropped and minimal axioms remain.

Definition

Robinson arithmetic, also denoted by Q, is a first-order theory whose signature is that of first-order Peano arithmetic: it consists of a constant $0$, an unary function symbol $s$, and binary function symbols $+, \cdot$. The axioms are

One sometimes adds axioms for order; however, this is also definable. (Citation in Wikipedia; I can't quite make it work.)

Theorems

Despite the considerable weakening of what can be proved, the formulas are the same as in Peano arithmetic, and all the background number theory (the Chinese remainder theorem? and the like) needed to develop Gödel codings, incompleteness theorems, and so on is still there. In some sense the axioms are a minimal set needed to carry out this program (and in fact this was in large part the motivation for Robinson).

Models

Unlike the case for Peano arithmetic, system $Q$ admits tractable computable nonstandard?models.

The simplest consists of a single nonstandard number $\infty$ (in addition to all of the standard numbers, which exist in every model), with the rules (where $n$ is a standard number):