Überlege, wie Du zeigst || man beweist, daß


      (∃x1, x2, x3 … x10¹⁰) φx … (∃x1, x2, x3x10¹⁰)λ ⊃

     (∃x1, x2 … x2 × 10¹⁰) eine Tautologie ist! Ist es wirklich mit Russells Technik zu beweisen? [Ehe Du Dich entscheidest, daß diese Bemerkung || dieser Satz eine Dummheit ist, überlege Dir die Sache noch ein wenig.]