more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 10850

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

Full Idea

Baby Arithmetic is negation complete, so it can prove every claim (or its negation) that it can express, but it is expressively extremely impoverished.

Gist of Idea

Baby Arithmetic is complete, but not very expressive

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