PhilosophyIdeas
.com Database
|
Current Total Ideas:
22,126
|
home
|
back
structure for 'Mathematics'
|
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]