Gottlob Frege: Basic Laws of Arithmetic