The inter-deducibility of the new Hilbert-Bernays theory and Principia mathematica (Q1840429)

Part I und II sind dem detaillierten Nachweis der Äquivalenz des Hilbert-Bernaysschen Axio\-mensystems für den Aussagenkalkül [\textit{D. Hilbert} und \textit{P. Bernays}, Grundlagen der Mathematik. I. Berlin: Springer (1934; Zbl 0009.14501), S. 66] mit dem Whitehead-Russellschen System der Axiome und Definitionen des Aussagenkalküls (Principia Math. I) gewidmet. In Part III wird das zugehörige Schlußschema (rule of inference) formal mit den Axiomen in eine Reihe gestellt, indem bei Zugrundelegung der Klasse \(K\) aller Aussagen und der Teilklasse \(T\) der ,,akzeptierten'' Aussagen sowohl die Axiome als auch das Schlußschema als Festsetzungen über die Zugehörigkeit von \(K\)-Elementen zu \(T\) interpretiert werden. In dieser Auffassung des Aussagenkalküls beweisen die Bernaysschen Unabhängigkeitsmodelle für die einzelnen Axiome des Hilbert-Bernaysschen Axiomensystems (loc. cit., S. 72--79) naturgemäß die betreffenden Unabhängigkeiten von den übrigen Axiomen und dem Schlußschema. Der Autor zeigt (an zwei Modellen) die Unabhängigkeit des Schlußschemas von den Hilbert-Bernaysschen Axiomen.