Non-contradiction des axiomes arithmetiques. (Q1834554)

Skizze eines Weges, um die Widerspruchsfreiheit eines Axiomensystems für die natürlichen Zahlen zu beweisen. Schaltet man nämlich den Gebrauch scheinbarer Variabeln aus, so ist der WF-Beweis leicht zu erbringen (vgl. \textit{von Neumann}, 1927 (F. d. M. 53, 41 (JFM 53.0041.*)), besonders p. 25 der dort besprochenen Arbeit). Die bei der Verwendung scheinbarer Variabeln vorgeschlagene Methode, mit der Verf. den schwierigen \textit{Neumann}schen Beweis vereinfachen will, besteht darin, jedem Satz der Theorie einen ``reduzierten'' Satz der Elementartheorie, die keine scheinbaren Variabeln verwendet, zuzuordnen und dann aus der WF der Elementartheorie auf die der allgemeinen Theorie zu schließen. (II.)