Was heißt es, daß R den Übergang A || Übergang von der Form A rechtfertigt? Es heißt wohl, daß ich mich entschieden habe, nur solche Übergänge in meinem Kalkül zuzulassen, denen ein Schema B entspricht, dessen Sätze u, v, w wieder nach || aus r ableitbar sein sollen. (Und das hieße natürlich nichts anderes, als daß ich nur die Übergänge A₁, A₂, etc. zuließe und diesen Schemata B entsprächen.) Richtiger wäre es, zu schreiben “und diesen Schemata der Form R entsprechen”. Ich wollte mit dem Nachsatz in der Klammer sagen, der Schein der Allgemeinheit – ich meine, der Allgemeinheit des Begriffs der Induktionsmethode – ist unnötig, denn es kommt am Schluß doch nur darauf hinaus, daß die speziellen Konstruktionen B₁, B₂, etc. um die Seiten der Gleichungen A₁, A₂, etc. konstruiert wurden.