23.11.
     Liegt denn nicht meine
64
ganze Schwierigkeit darin, einzusehen, wie man, ohne aus R's Logik || logischem Kalkül herauszutreten zum Begriff der Menge von || der Variablen im || in dem Ausdruck “(∃ x,y,z || etc.)” kommen kann, dort wo dieses Zeichen || dieser Ausdruck nicht übersehbar || unübersehbar ist? –
     Nun kann man ihn aber doch übersehbar machen indem man schreibt:
(∃x1,x2,x3, etc.). Und dennoch verstehe ich etwas nicht: man hat doch nun das Kriterium für die Identität so eines Ausdrucks geändert! Ich sehe jetzt auf andere Weise, daß die Menge der Zeichen in zwei solchen Ausdrücken die selbe ist.