Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen. Gerhard Gentzen Archiv für mathematische Logik und Grundlagenforschung
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie. Gerhard Gentzen — 1974 Archiv für mathematische Logik und Grundlagenforschung
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik. Gerhard Gentzen — 1974 Archiv für mathematische Logik und Grundlagenforschung
Současný stav ve výzkumu základů matematiky Gerhard Gentzen — 1992 Pokroky matematiky, fyziky a astronomie