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

6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / b. Baby arithmetic

[a very simple axiomatisation of arithmetic, to show basics]

2 ideas
Baby arithmetic covers addition and multiplication, but no general facts about numbers [Smith,P]
Baby Arithmetic is complete, but not very expressive [Smith,P]