more on this theme | more from this thinker | more from this text
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 Ref
Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.55