1. Nämlich durch: Es gibt einl mitInz (l, h) undInz (l, k).
2. Recherches sur la théorie de la démonstration (Thèse Paris). Warschau 1930, Kap. 3, Abschnitt 3.4–3.42, erster Absatz.
3. Math. Ann. 115, S. 485–506, im folgenden zitiert als „Th. m. m. S.“.
4. Der in der vorliegenden Arbeit veröffentlichte Beweis stammt aus dem Jahre 1939. Ich trug ihn im Dezember 1946 im Kolloquium der Mathematischen Gesellschaft der Universität Göttingen vor.