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 Russellschen „(∃x,y). f(x,y)“: „(∃x,y).f(x,y).∨.(∃x).f(x,x)“.)
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 Russellschen „(∃x,y). f(x,y)“: „(∃x,y).f(x,y).∨.(∃x).f(x,x)“.)