Grundlagen der Mathematik II

Der vorliegende Band schliet 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 ber nommen. Ich danke ihm fr die Sorgfalt und Treue, mit der er meine Gedanken wiedergegeben hat, an deren Entwicklung er in jahrelanger Zusammenarbeit aufs strkste beteiligt war. Ohne seine Mithilfe wre die Vollendung dieses Buches unmglich gewesen. Den Herren W. ACKERMANN, G. GENTZEN, A. SCHMIDT, H. SCHOLZ danke ich fr ihre freundliche Mitwirkung bei den Korrekturen. Gttingen, im Mrz 1939 HILBERT Zur Einfhrung Das vorliegende Buch soll einer eingehenden Orientierung ber den gegenwrtigen 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 prgnanten Ergebnissen, an Gesichtspunkten und Beweisgedanken vor, die zur Kenntnis zu bringen als lohnend erscheint. Fr die inhaltliche Gestaltung dieses zweiten Bandes waren durch den Zweck des Buches zwei Hauptthemata vorgezeichnet. - Es handelte sich einmal darum, die hauptschlichen, an das e-Symbol sich knpfenden beweistheoretischen Anstze HILBERTS und ihre Durchfhrung zur ein gehenden Darstellung zu bringen.