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:
(∃x
1,x
2,x
3,
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.