En el caso de la aritmética, ya Giuseppe Peano había propuesto los llamados «axiomas de Peano» para la aritmética.