Hermann Grassmann's 1861 Lehrbuch der Arithmetik, the first book to recognise that induction is the foundation of number theory, was intended as a textbook for his high school students. It was so far ahead of its time that the idea did not catch on until Dedekind and Peano rediscovered the idea in 1888-1889.