-Frege defendía un programa denominado logicista. Con él pretendía reducir la aritmética y el análisis a la lógica: definiendo las nociones aritméticas a partir de nociones puramente lógicas y deduciendo los axiomas aritméticos a partir de principios lógicos.