The interdeducibility of the new Hilbert-Bernays theory and Principia Mathematica. (Q2611340)

Der vorliegende Aufsatz soll Logikern, die an die Symbolik und den Kalkül von \textit{Whitehead} und \textit{Russell} gewöhnt sind, den Zugang zu den ``Grundlagen der Mathematik'' von \textit{Hilbert} und \textit{Bernays} (1934; JFM 60.0017.*) erleichtern. Verf. beschränkt sich dabei auf den Vergleich des Aussagenkalküls in beiden Systemen. In Teil I und II wird nachgewiesen, daß alle Aussagenformeln, die sich im System der Principia Mathematica gewinnen lassen, auch bei \textit{Hilbert} und \textit{Bernays} ableitbar sind und umgekehrt. In Teil III wird die Unabhängigkeit des von \textit{Hilbert} und \textit{Bernays} gebrauchten inhaltlichen (d. h. nicht formalen) Schlußschemas von den übrigen Postulaten gezeigt.