In mathematics, Robinson arithmetic is a finitely axiomatized fragment of first-order Peano arithmetic (PA), first set out by Raphael M. Robinson in 1950. It is usually denoted Q. Q is PA without the axiom schema of mathematical induction.
In mathematics, Robinson arithmetic is a finitely axiomatized fragment of first-order Peano arithmetic (PA), first set out by Raphael M. Robinson in 1950. It is usually denoted Q. Q is PA without the axiom schema of mathematical induction.
Source: Wikipedia "Robinson arithmetic" · CC BY-SA 4.0
Share this article: X · Bluesky