Robinson arithmetic

Today it means: A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction. Full definition →