Single Idea 10851

[catalogued under 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / c. Robinson arithmetic]

Full Idea

We can beef up Baby Arithmetic into Robinson Arithmetic (referred to as 'Q'), by restoring quantifiers and variables. It has seven generalised axioms, plus standard first-order logic.

Gist of Idea

Robinson Arithmetic 'Q' has basic axioms, quantifiers and first-order logic

Source

Peter Smith (Intro to Gödel's Theorems [2007], 08.3)

Book Reference

Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.55