5.532
Und analog: Nicht „(Ex,y).f(x,y).x = y”, sondern „(Ex).f(x,x)”.
       und: Nicht „(Ex,y).f(x,y)./x ‒ y”, sondern „(Ex,y).f(x,y)”.
(Also statt dem Russell'schen „(Ex,y).f(x,y)” : „(Ex,y).f(x,y)v(Ex).f(x,x)”).