Non-contradiction des axiomes arithmetiques. (Q1834554)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Non-contradiction des axiomes arithmetiques.
scientific article

    Statements

    Non-contradiction des axiomes arithmetiques. (English)
    0 references
    0 references
    1929
    0 references
    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.)
    0 references

    Identifiers