5.532

Home
Su
1.
2.
3.
4.
5.
6.

 

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

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

"( EXISTS x,y) . f(x,y) . v .( EXISTS x) . f(x,x)". )

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

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