Frege ideó un programa "logicista" destinado a explorar los fundamentos lógicos y filosóficos de las matemáticas y del lenguaje natural.