- Begründung des "tertium non datur"
mittels der
Hilbertschen Theorie der
Widerspruchsfreiheit,
which was a
consistency proof of
arithmetic apparently without Peano...
- (3): 405–431. 1935. doi:10.1007/bf01201363. S2CID 186239837. "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...
-
concept of number, 2nd ed. Blackwell. Gentzen,
Gerhard (1936). "Die
Widerspruchsfreiheit der
reinen Zahlentheorie".
Mathematische Annalen. 112: 132–213. doi:10...
-
Neumann hierarchy of pure sets. Ackermann,
Wilhelm (1937). "Die
Widerspruchsfreiheit der
allgemeinen Mengenlehre".
Mathematische Annalen. 114: 305–315...
- world. New York,
Humanities Press. Gentzen,
Gerhard (1936). "Die
Widerspruchsfreiheit der
reinen Zahlentheorie".
Mathematische Annalen. 112. Reprinted...
- MA: A.K. Peters. ISBN 1-56881-238-8. Gentzen,
Gerhard (1936). "Die
Widerspruchsfreiheit der
reinen Zahlentheorie".
Mathematische Annalen. 112. Springer:...
- 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 [40]
Beweis und
Widerspruchsfreiheit [41]
Minima visibilia [42] La variación como
procedimiento de investigación...
- a more
robust complexity class." Ackermann,
Wilhelm (1937). "Die
Widerspruchsfreiheit der
allgemeinen Mengenlehre".
Mathematische Annalen (in German)....