more on this theme | more from this thinker | more from this text
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