En la filosofía de la matemática, el logicismo es la doctrina que sostiene que la matemática es en algún sentido importante reducible a la lógica.A veces se alega que los teoremas de incompletitud de Gödel socavan el propósito del proyecto.El logicismo fue clave en el desarrollo de la filosofía analítica en el siglo XX.