1. Math. Z.39 (1934).
2. Den entsprechenden Begriff hatGentzen verwendet in seiner Arbeit: Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, Heft 4, 1938.
3. Vgl. hierzuHilbert-Bernays, Grundlagen der Mathematik, Bd. I, S. 72?82.
4. Vgl. die in Anmerkung1) zitierte Arbeit.