back to ideas for this text

---

Single Idea 10852

[from 'Intro to Gödel's Theorems' by Peter Smith, in 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 Reference

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

---