Single Idea 10852

[catalogued under 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