30.
  Angenommen wir bewiesen mauf R's Methode daß (∃[x|a].....g) .... (∃a.....i) ⊃ (∃a.....s) eine Tautologie ist; könnten wir nun unser Resultat dahin ausdrücken, g + i sei s? Das setzt doch voraus, daß ich
22
die drei Stücke des Alphabets als Repräsentanten des Beweises nehmen kann. Aber zeigt denn das R's Beweis? Den R'schen Beweis hätte ich doch offenbar auch mit solchen
Gruppen
Folgen
Reihen
von Zeichen in den Klammern führen können, deren Reihenfolgen für mich nichts Characteristisches gehabt hätten, so daß (ich) es nicht möglich gewesen wäre die Zeichenfolgegruppe in einer Klammer durch ihr letztes Glied zu repräsentieren.