A principios del siglo XX, tres escuelas de filosofía de las matemáticas tenían visiones contrapuestas sobre los fundamentos matemáticos: el formalismo, el Intuicionismo y el logicismo.