Was heisst es, dass R den Uebergang A // Uebergang von der Form A // rechtfertigt? Es heisst wohl, dass ich mich entschieden habe, nur solche Uebergä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 hiesse natürlich nichts anderes, als dass ich nur die Uebergänge A₁, A₂, etc. zuliesse 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 un