structure for 'Mathematics'    |     alphabetical list of themes    |     unexpand these ideas

---

6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / c. Robinson arithmetic

[an intermediate axiomatisation of arithmetic, to show basics]

2 ideas

10851	Robinson Arithmetic 'Q' has basic axioms, quantifiers and first-order logic [Smith,P]
	Full Idea: We can beef up Baby Arithmetic into Robinson Arithmetic (referred to as 'Q'), by restoring quantifiers and variables. It has seven generalised axioms, plus standard first-order logic.
	From: Peter Smith (Intro to Gödel's Theorems [2007], 08.3)

10852	Robinson Arithmetic (Q) is not negation complete [Smith,P]
	Full Idea: Robinson Arithmetic (Q) is not negation complete
	From: Peter Smith (Intro to Gödel's Theorems [2007], 08.4)