Übrigens ist das Zahlzeichen , ˇjetzt in einem andern Sinne, nicht mit Е ∃ verbunden: insofern ˇnämlich Е „(∃3x) …” nicht in „(∃2 + 3x) …” vork enthalten ist. [ …
da
insoferne
nämlich „(∃3)x …” nicht in „(∃2 + 3)x …” enthalten ist. ]