1.11.39.
     Der Beweis, daß
     (1) (2) ⊃ (3)
eine Tautologie ist, besteht darin, daß man die Glieder der 3ten Klammer für eines in || immer ein Glied der 3ten Klammer für ein Glied von 1 oder 2 abstreicht. Und es gibt ja viele Methoden || Arten und Weisen dieses Kollationierens. || daß man die Glieder in 3 & die in 1 & 2 gegen einander abstreicht. Und es gibt natürlich viele Weisen eines solchen Kollationierens. Oder man könnte auch sagen: es gibt viele Arten & Weisen, das Gelingen der 1 → 1 Zuordnung festzustellen. Eine Art wäre z.B. sternförmige Muster eins für die linke eins für die rechte Seite der Implikation zu konstruieren & diese wieder dadurch zu vergleichen daß man ein Ornament
29
aus beiden bildet.
     Man könnte also die Regel geben: “Wenn Du wissen willst, ob die Zahlen A & B zusammen wirklich C ergeben || geben, schreib den || einen Ausdruck der Form … an & ordne die Variablen in den Klammern einander zu indem Du den Beweis dafür anschreibst (oder anzuschreiben trachtest) daß der Ausdruck eine Tautologie ist.”
     Mein Einwand dagegen ist nun nicht, daß es willkürlich ist, gerade diese Art des Kollationierens vorzuschreiben, sondern, daß man auf diese Weise nicht feststellen kann, daß 1000 + 1000 = 2000 ist.