Axiom:Robinson Axioms

Axioms
Robinson's axioms are a set of axioms for the language of arithmetic.

They are weaker than Peano's Axioms by design, and are intended to be the minimal amount of logic required to carry out proofs such as Godel's Incompleteness Theorems.