Current Total Ideas:
structure for 'Mathematics'
alphabetical list of themes
expand these ideas
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Number / b. Baby arithmetic
[a very simple axiomatisation of arithmetic, to show basics]
Baby arithmetic covers addition and multiplication, but no general facts about numbers
Baby Arithmetic is complete, but not very expressive