structure for 'Mathematics'    |     alphabetical list of themes    |     expand 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]
10852 Robinson Arithmetic (Q) is not negation complete [Smith,P]