Literatur
Siehe auch K. Gödel, Über Vollständigkeit und Widerspruchsfreiheit, Ergebnisse eines math. Koll., Heft 3 (1932), S. 12–13.
Siehe P. Finsler, Formale Beweise und die Entscheidbarkeit, Math. Zeitschr.25 (1926), und die in Anm. 2 genannte Arbeit von K. Gödel.
Siehe etwa: L. F. I. Brouwer, Intuitionistische Betrachtungen über den Formalismus, Sitzungsber. d. preuß. Akad. d. Wiss., phys.-math. Kl. (1928), S. 48.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gentzen, G. Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie. Arch math Logik 16, 97–118 (1974). https://doi.org/10.1007/BF02015370
Issue Date:
DOI: https://doi.org/10.1007/BF02015370