Probleme der Grundlegung der Mathematik. (Q5917138)

Dieser auf dem Internationalen Mathematikerkongreß in Bologna 1928 gehaltene Vortrag beginnt, nach einem Rückblick auf die mathematische Grundlagenforschung der letzten Jahrzehnte und einer höchst optimistischen Betrachtung über ihre Entwicklung in der Gegenwart und der nächsten Zukunft, mit der Anführung einiger Probleme, die durch den Widerspruchsfreiheitsbeweis des \textit{Hilbert}schen \(\varepsilon \)-Axioms für die \textit{Zahlen} (\textit{Ackermann, von Neumann}) erledigt sind. Es folgt eine ausführlichere Diskussion von einschlägigen noch unerledigten Problemen, namentlich der vier folgenden: 1. Widerspruchsfreiheitsbeweis des \(\varepsilon \)-Axioms für die (einfache) Funktionsvariable \(f\) und damit des Auswahlaxioms in der schwächeren Form, wonach das ausgezeichnete Element der Menge von der Art, wie diese definiert ist, abhängen darf; hierdurch würde die Theorie der reellen Zahlen im wesentlichen erledigt. 2. Widerspruchsfreiheit des \(\varepsilon \)-Axioms für höhere Variabeingattungen und des Auswahlaxioms in der stärkeren Form. 3. Vollständigkeit von Axiomensystemen, namentlich derjenigen für die Zahlentheorie und die Analysis. 4. Vollständigkeit des Systems der logischen Regeln (erledigt für die reine Aussagenlogik). (II.)