Reasoning and proof in mathematics education Education in arithmetic and number systems mathematics