more from Peter Smith

Single Idea 10849

[catalogued under 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / b. Baby arithmetic]

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


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

Book Reference

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