HOME TOP UP PREV NEXT 1 ENGLISH MAP      Logisch-philosophische Abhandlung 5.532

5.532

Und analog: Nicht "(x, y) . f(x, y) . x=y", sondern "(x) . f(x, x)"; und nicht "(x, y) . f(x, y) . ~x=y", sondern "(x, y) . f(x, y)".

(Also statt des Russell'schen "(x, y) . f(x, y)" :  "(x, y) . f(x, y) .v.  (x) . f(x, x)".)

5.5321

Statt "(x) : fx  x=a" schreiben wir also z.B. "(x) . fx . . fa : ~( x, y) . fx . fy".

Und der Satz "Nur Ein x befriedigt f( )" lautet: "(x) . fx : ~( x, y) . fx . fy".