Parece que en el transcurso de estas investigaciones preliminares, Frege llegó a la conclusión de que la aritmética tenía que ser parte de (o podía ser reducida a) la lógica formal.