- Begründung des "tertium non datur"
mittels der
Hilbertschen Theorie der
Widerspruchsfreiheit,
which was a
consistency proof of
arithmetic apparently without Peano...
- deduction".
American Philosophical Quarterly. 2 (3): 204–218. "Die
Widerspruchsfreiheit der Stufenlogik".
Mathematische Zeitschrift. 41: 357–366. 1936a....
- "Einige
metamathematische Resultate über
Entscheidungsdefinitheit und
Widerspruchsfreiheit" [Some
metamathematical results on the
definiteness of
decision and...
- world. New York,
Humanities Press. Gentzen,
Gerhard (1936). "Die
Widerspruchsfreiheit der
reinen Zahlentheorie".
Mathematische Annalen. 112. Reprinted...
-
concept of number, 2nd ed. Blackwell. Gentzen,
Gerhard (1936). "Die
Widerspruchsfreiheit der
reinen Zahlentheorie".
Mathematische Annalen. 112: 132–213. doi:10...
- MA: A.K. Peters. ISBN 1-56881-238-8. Gentzen,
Gerhard (1936). "Die
Widerspruchsfreiheit der
reinen Zahlentheorie".
Mathematische Annalen. 112. Springer:...
-
Neumann hierarchy of pure sets. Ackermann,
Wilhelm (1937). "Die
Widerspruchsfreiheit der
allgemeinen Mengenlehre".
Mathematische Annalen. 114: 305–315...
- 4064/fm-49-1-35-92. ISSN 0016-2736. Gentzen,
Gerhard (1936), "Die
Widerspruchsfreiheit der
reinen Zahlentheorie",
Mathematische Annalen, 112: 493–565, doi:10...
-
Verwendung des
Wortes "Ich" bei L.
Wittgenstein [41]
Beweis und
Widerspruchsfreiheit [42]
Minima visibilia [43] La variación como
procedimiento de investigación...
- 2013, pp. 708–734. doi:10.2178/jsl.7803020
Modelle der Mengenlehre.
Widerspruchsfreiheit und Unabhängigkeit der
Kontinuumshypothese und des Auswahlaxioms...
