En este libro, Frege se dispuso a construir de manera formal la aritmética a partir de la lógica.