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

---

Single Idea 10852

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

Full Idea

Robinson Arithmetic (Q) is not negation complete

Gist of Idea

Robinson Arithmetic (Q) is not negation complete

Source

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

Book Ref

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