Tagebücher 1914-1916: Difference between revisions

Line 996:

Die ab-Funktion bleibt nicht ''vor'' dem Elementarsatz stehen, sondern sie durchdringt ihn.

Was gezeigt werden ''kann'', kann nicht gesagt werden. [4.1212.]

Was gezeigt werden ''kann'', kann nicht gesagt werden. [''S.'' 4.1212.]

Ich glaube, man könnte das Gleichheitszeichen ganz aus unserer Notation entfernen und die Gleichheit immer nur durch die Gleichheit der Zeichen (u.U.) andeuten. Es wäre dann freilich ''φ''(a,a) kein spezieller Fall von (x,y).''φ''(x,y) und ''φ''a keiner von (∃x,y).''φ''x.''φ''y. Dann aber könnte man statt ''φ''x.''φ''y ⊃<sub>x,y</sub> x = y einfach schreiben ~(∃x,y).''φ''x.''φ''y. [''Vgl.'' 5.53 ''u.'' 5.533.]

Ich glaube, man könnte das Gleichheitszeichen ganz aus unserer Notation entfernen und die Gleichheit immer nur durch die Gleichheit der Zeichen (u. U.) andeuten. Es wäre dann freilich ''φ''(a,a) kein spezieller Fall von (x,y).''φ''(x,y) und ''φ''a keiner von (∃x,y).''φ''x.''φ''y. Dann aber könnte man statt ''φ''x.''φ''y ⊃<sub>x,y</sub> x = y einfach schreiben ~(∃x,y).''φ''x.''φ''y. [''Vgl.'' 5.53 ''u.'' 5.533.]

Durch diese Notation verlören auch der Scheinsatz (x)x = a oder ähnliche allen Schein von Berechtigung. [''Vgl.'' 5.534.]

@@ Line 996: / Line 996: @@
 Die ab-Funktion bleibt nicht ''vor'' dem Elementarsatz stehen, sondern sie durchdringt ihn.
-Was gezeigt werden ''kann'', kann nicht gesagt werden. [4.1212.]
+Was gezeigt werden ''kann'', kann nicht gesagt werden. [''S.'' 4.1212.]
-Ich glaube, man könnte das Gleichheitszeichen ganz aus unserer Notation entfernen und die Gleichheit immer nur durch die Gleichheit der Zeichen (u.U.) andeuten. Es wäre dann freilich ''φ''(a,a) kein spezieller Fall von (x,y).''φ''(x,y) und ''φ''a keiner von (∃x,y).''φ''x.''φ''y. Dann aber könnte man statt ''φ''x.''φ''y ⊃<sub>x,y</sub> x = y einfach schreiben ~(∃x,y).''φ''x.''φ''y. [''Vgl.'' 5.53 ''u.'' 5.533.]
+Ich glaube, man könnte das Gleichheitszeichen ganz aus unserer Notation entfernen und die Gleichheit immer nur durch die Gleichheit der Zeichen (u. U.) andeuten. Es wäre dann freilich ''φ''(a,a) kein spezieller Fall von (x,y).''φ''(x,y) und ''φ''a keiner von (∃x,y).''φ''x.''φ''y. Dann aber könnte man statt ''φ''x.''φ''y ⊃<sub>x,y</sub> x = y einfach schreiben ~(∃x,y).''φ''x.''φ''y. [''Vgl.'' 5.53 ''u.'' 5.533.]
 Durch diese Notation verlören auch der Scheinsatz (x)x = a oder ähnliche allen Schein von Berechtigung. [''Vgl.'' 5.534.]