Lo que Hilbert quería hacer era probar que un sistema lógico formula_1 fuese consistente, basado en principios formula_2 que fueran sólo una pequeña parte de formula_1.