Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen G. Gentzen — 1933 Mathematische Annalen
Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie G. Gentzen — 1943 Mathematische Annalen