5.532
Und analog: Nicht „(Ex,y).f(x,y).x = y”, sondern „(Ex).f(x,x)”[.|;]             u[u|U]nd: Nicht „(Ex,y).f(x,y)./x = y”, sondern „(Ex,y).f(x,y)”[.|;].
(Also statt de[m|s] Russell'schen „(Ex,y).f(x,y)”: „(Ex,y).f(x,y).v.(Ex).f(x,x)”).