Non-contradiction des axiomes arithmetiques. (Q1834554)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Non-contradiction des axiomes arithmetiques. |
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
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