1. Gödel, K. (1931) On formally undecidable propositions of Principia Mathematica and related systems I. (English translation of German original), in J. van Heijenoort, ed., From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931, pp. 596–617, Harvard University Press, 1967.
2. Gentzen, G. (1934–35) Untersuchungen über das logische Schliessen. Mathematische Zeitschrift, vol. 39, pp. 176–210 and 405–431.
3. Gentzen, G. (1936) Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen, vol. 112, pp. 493–565.
4. Gentzen, G. (1938) Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, vol. 4, pp. 19–44.
5. Gentzen, G. (1943) Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Mathematische Annalen, vol. 120, pp. 140–161.