Grundlagen der Mathematik

Der vorliegende Band schliesst die Darstellung der Beweistheorie ab, die ich vor einigen Jahren zusammen mit P. BERNAYS begann. Auf meinen Wunsch hat P. BERNAYS wieder die Abfassung des Textes uber nommen. Ich danke ihm fur die Sorgfalt und Treue, mit der er meine Gedanken wiedergegeben hat, an deren Entwicklung er in jahrelanger Zusammenarbeit aufs starkste beteiligt war. Ohne seine Mithilfe ware die Vollendung dieses Buches unmoglich gewesen. Den Herren W. ACKERMANN, G. GENTZEN, A. SCHMIDT, H. SCHOLZ danke ich fur ihre freundliche Mitwirkung bei den Korrekturen. Gottingen, im Marz 1939 HILBERT Zur Einfuhrung Das vorliegende Buch soll einer eingehenden Orientierung uber den gegenwartigen Stoff der HILBERTschen Beweistheorie dienen. Wenn gleich das bisher hier Erreichte gemessen an den Zielen der Theorie sehr bescheiden ist, so liegt doch ein reichlicher Stoff an pragnanten Ergebnissen, an Gesichtspunkten und Beweisgedanken vor, die zur Kenntnis zu bringen als lohnend erscheint. Fur die inhaltliche Gestaltung dieses zweiten Bandes waren durch den Zweck des Buches zwei Hauptthemata vorgezeichnet. - Es handelte sich einmal darum, die hauptsachlichen, an das e-Symbol sich knupfenden beweistheoretischen Ansatze HILBERTS und ihre Durchfuhrung zur ein gehenden Darstellung zu bringen