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

---

The 2 ideas with the same theme [an intermediate axiomatisation of arithmetic, to show basics]:

10851

Robinson Arithmetic 'Q' has basic axioms, quantifiers and first-order logic [Smith,P]

10852

Robinson Arithmetic (Q) is not negation complete [Smith,P]