Welches ist der Beweis von Ɛ❘ ❘ ∙ Ɛ❘ ❘ ❘ . ⊃ . Ɛ❘ ❘ ❘ ❘ ❘ der der Ausdruck unseres Wissens ist, daß dies ein richtiger logischer Satz ist?
    Er macht offenbar davon Gebrauch, daß man (∃x) … als logische Summe behandeln kann.
   Wir übersetzen etwa von dem Symbolismus („Wenn in jedem Quadrat ein Stern ist so, sind zwei im ˇganzen Rechteck”) in den Russellschen. Und es ist nicht, als gäben wir mit der Tautologie in dieser Schreibweise einer Meinung Ausdruck, die uns plausibel erscheint & (die) der Beweis dann bestätigt; sondern, was uns plausibel erscheint, ist, daß
dieser
jener
Ausdruck eine Tautologie ist (ein Gesetz der Logik) ist.