La escuela liderante era la escuela de enfoque formalista, de la cual, David Hilbert era el proponente principal, culminando con lo que se conoce como Programa de Hilbert, quien pensaba en fundamentar la matemática en una pequeña base de un sistema lógico sondeado en términos del finitismo metamatemático.