Die einzig signifikante Originaldarstellung von Hilberts Programm und Beweistheorie findet sich in der zweibändigen Monographie „Grundlagen der Mathematik“ von Paul Bernays und David Hilbert, kurz „Hilbert-Bernays“, erschienen in zwei Auflagen 1934/39 und 1968/70 bei Springer.