1. Die Bezeichnungen ?Typ? und ?Gattung? wurden hier umgangen, um die Assoziation einer Stufung zu vermeiden.
2. J. Herbrand, Recherches sur la théorie de la démonstration (Thèse Paris), Warschau 1930, Kap. 3, Abschnitt 3.4?3.42 erster Absatz.
3. Hilbert-Ackermann, Grundzüge der theoretischen Logik, Berlin 1928, Kap. 3; Hilbert-Bernays, Grundlagen der Mathematik, Bd. 1, Berlin 1934, Kap. 4; Hilberts Vorträge zur Grundlegung der Mathematik.
4. Man hat sich die Zeichen des Vorrats der Prädikatentheorie irgendwie etwa als lateinische Buchstaben mit oder ohne Zahlindex) vorzustellen; so können als Termvariablen der ersten Sorte etwa die Zeichenv 1,v 2,v 3, ... gelten. Da im folgenden außer den Verknüpfungszeichen kein Zeichen des Vorrats selbst angeführt wird, kann hier auf die konkrete Aufführung verzichtet werden.
5. Ein Zeichen des Vorrats kann in einem Term und ebenso in einer Formel offenbar mehrfach auftreten. Es empfiehlt sich, in solchem Falle, wie die nachfolgende Verabredung zur Mitteilung genauer festlegt, von mehreren Zeichen des Terms bzw. der Formel, welche gestaltlich übereinstimmen, zu reden.