455
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
1, A
2,
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 B1, B2,
etc. um die Seiten der Gleichungen
A1, A2,
etc. konstruiert wurden.