Por otro lado, la pretendida perfección matemática de la Teoría de conjuntos tras el teorema de Gödel supuso el final del programa formalista de Hilbert de formalización matemática así como del intuicionismo de Brouwer.