En 1861 Grassmann expuso la primera formulación axiomática de la aritmética, usando ampliamente el principio de inducción.