more on this theme | more from this thinker | more from this text
Full Idea
Baby Arithmetic 'knows' the addition of particular numbers and multiplication, but can't express general facts about numbers, because it lacks quantification. It has a constant '0', a function 'S', and functions '+' and 'x', and identity and negation.
Gist of Idea
Baby arithmetic covers addition and multiplication, but no general facts about numbers
Source
Peter Smith (Intro to Gödel's Theorems [2007], 08.1)
Book Ref
Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.51