Literatur
K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatsh. f. Math. u. Phys.38 (1931) S. 173–198.
Vgl. meine Arbeit: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. Annalen112 (1936), S. 493–565; s. insbesondere Nr. 16. 2.
Vgl. Hilbert-Bernays, Grundlagen der Mathematik, II. Bd., § 5, 3 c.
Helf 4 der Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften (1938).
Solche Berechnungsverfahren für diese Funktionen, sogar für die allgemeine Potenz, lassen sich leicht entnehmen aus § § 78 und 79 der Schrift von Hessenberg, Grundbegriffe der Mengenlehre. (Sonderdruck a. d. Abh. d. Friesschen Schule, N. F., I. Bd., 4. Heft; S. 479–706.) Göttingen 1906.
Author information
Authors and Affiliations
Additional information
Eingereicht zur Erlangung des Grades eines Dr. phil. habil. in der Mathematisch-Naturwissenschaftlichen Fakultät der Georg-August-Universität zu Göttingen.
Rights and permissions
About this article
Cite this article
Gentzen, G. Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Math. Ann. 119, 140–161 (1943). https://doi.org/10.1007/BF01564760
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01564760