Présente les résultats les plus pointus dans la recherche en théorie de la preuve. Contient une explication complète du programme technique, élaborée par Hilbert en vue de prouver la non-contradiction de l'arithmétique de Peano du premier ordre.