First Lessons in Arithmetic on the Inductive Plan