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