Die Grundlagen der Mathematik

Zusammenfassung

Es ist für mich eine hohe Ehre und zugleich ein Bedürfnis, meine Gedanken über die Grundlagen der Mathematik, die ich seinerzeit vor fünf Jahren hier entwickelt habe, und die mich seitdem dauernd aufs lebhafteste beschäftigt haben, zu ergänzen und weiterzuführen. Mit dieser Neubegründung der Mathematik, die man füglich als eine Beweistheorie bezeichnen kann, verfolge ich ein bedeutsames Ziel: ich möchte nämlich die Grundlagenfragen in der Mathematik als solche endgültig aus der Welt schaffen, indem ich jede mathematische Aussage zu einer konkret aufweisbaren und streng ableitbaren Formel mache und dadurch die mathematischen Begriffsbildungen und Schlüsse in eine solche Fassung bringe, daß sie unwiderleglich sind und doch ein Bild der gesamten Wissenschaft liefern. Ich glaube dieses Ziel mit meiner Beweistheorie völlig erreichen zu können, wenn auch bis zu ihrer völligen Fertigstellung noch sehr viele Arbeit nötig sein wird.

Vgl. meine bisherigen Veröffentlichungen über diesen Gegenstand: Neubegründung der Mathematik, Abh. a. d. Math. Sem. d. Hamb. Univ., Bd. I, S. 157 (1922); die logischen Grundlagen der Mathematik, Math. Ann., Bd. 88, S. 151 (1922); Über das Unendliche, Math. Ann. Bd. 95, S. 161 (1925).