New foundation of formal metamathematics. (Q2595482)

Die Verf., bekannt durch verschiedene Arbeiten, die den rein formalen Aufbau der Metamathematik zum Gegenstand haben (vgl. die in JFM 61.0977.* bei der Besprechung von \textit{W. Hetper}, C. R. Soc. Sci. Lett. Varsovie Cl. III. 27 (1934), 9-26 angegebene Literatur) geben hier einen auf denselben Grundsätzen beruhenden Aufbau dieser Art, der gegenüber den früheren verschiedene wesentliche Vereinfachungen aufweist, u. a. einen sehr eingeschränkten Gebrauch des zum Aufbau eines formalen Systems nun einmal erforderlichen Bruchstücks der natürlichen Sprache. In dieser formalen Metamathematik findet z. B. das bekannte \textit{Gödel}sche Theorem seinen formalen Ausdruck und läßt sich auch rein formal beweisen.