5.441

Dieses Verschwinden der scheinbaren logischen Konstanten tritt auch ein, wenn „(∃x).fx“ dasselbe sagt wie „(x).fx“, oder „(∃x).fx.x=a“ dasselbe wie „fa“.