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 Russell¤. 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ß jener || dieser Ausdruck eine Tautologie (ein Gesetz der Logik) ist.