Perante o ponto de vista da escola formalista de Hilbert a matemática carece de conteúdo concreto e contém apenas elementos simbólicos ideais, pois se acreditavam que sem o acompanhamento dessa demonstração de consistência, todo o estudo perde fundamentalmente o sentido. Sendo assim, Hibert construiu uma abordagem para o problema da consistência. Com base nos conteúdos abordados como foi denominado o teste de consistência direto em matemática criado por Hilbert?