In 1888 Richard Dedekind published the paper Was sind und was sollen die Zahlen? (What are numbers and what should they be?). In this article he gives a formal definition of finite and infinite sets and an axiomatic foundation of the natural numbers.