The basic laws of arithmetic

Gottlob Frege