-
En el último cuarto del Siglo XIX se vivió un episodio apasionante de la historia de las matemáticas que las ligaría desde entonces a la historia de la lógica.
Primero, George Boole (1815-1864) en su Mathematical Analysis of Logic trató de presentar la lógica como parte de las matemáticas. Poco después Gottlob Frege (1848-1925) intentó mostrar que la aritmética era parte de la lógica en su Die Grundlagen der Arithmetik