30.
Angenommen wir bewiesen auf
R's Methode daß (∃
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
Reihen || Folgen || Gruppen von Zeichen in den Klammern führen
können, deren Reihenfolgen für mich nichts
Chara
kteristisches gehabt hätten, so daß
¤ es nicht möglich gewesen
wäre die
Zeichenfolge || Zeichengruppe in einer Klammer durch
ihr letztes Glied zu repräsentieren.