En este sentido, yendo en contra del intuicionismo y el formalismo de Hilbert, buscó continuar el programa logicista de Russell y Whitehead tal como fue planteado en los Principia Mathematica.