5˙2331
Dieses Verschwinden der scheinbaren logischen Konstanten tritt auch ein, wenn „~(Еx) ∙ ~φx” dasselbe sagt wie „(x).φx” oder „(Еx) ∙ φx ∙ x = a” dasselbe wie „φa”.