Überlege, wie
man beweist
Du zeigst
, daß


   (∃x1, x2, x3 … x10¹⁰) φx … (∃[y|x]1, [y|x]2, [y|x]3[y|x]10¹⁰)λ ⊃

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