Grundlagen der Mathematik II

Der vorliegende Band schlie t 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 f r die Sorgfalt und Treue, mit der er meine Gedanken wiedergegeben hat, an deren Entwicklung er in jahrelanger Zusammenarbeit aufs st rkste beteiligt war. Ohne seine Mithilfe w re die Vollendung dieses Buches unm glich gewesen. Den Herren W. ACKERMANN, G. GENTZEN, A. SCHMIDT, H. SCHOLZ danke ich f r ihre freundliche Mitwirkung bei den Korrekturen. G ttingen, im M rz 1939 HILBERT Zur Einf hrung Das vorliegende Buch soll einer eingehenden Orientierung ber den gegenw rtigen 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 pr gnanten Ergebnissen, an Gesichtspunkten und Beweisgedanken vor, die zur Kenntnis zu bringen als lohnend erscheint. F r die inhaltliche Gestaltung dieses zweiten Bandes waren durch den Zweck des Buches zwei Hauptthemata vorgezeichnet. - Es handelte sich einmal darum, die haupts chlichen, an das e-Symbol sich kn pfenden beweistheoretischen Ans tze HILBERTS und ihre Durchf hrung zur ein- gehenden Darstellung zu bringen.