A teoria da prova analisa a estrutura formal das demonstrações matemáticas, com foco em sistemas de cálculo lógico como o cálculo de sequentes. O campo examina questões de consistência e completude a partir de métodos sintáticos.

Entre os temas centrais estão os processos de eliminação de corte e a análise ordinal, aplicados tanto à lógica clássica quanto à intuicionista. Essas ferramentas permitem avaliar a força demonstrativa de diferentes sistemas formais.

Pesquisadores e estudantes de lógica matemática, fundamentos da matemática e ciência da computação teórica encontram aqui um panorama abrangente dos principais resultados da área. O texto adota uma abordagem técnica voltada a leitores com formação prévia em lógica formal.