Statt „(∃xyz) …” kann ich ebensowenig allgemein sagen || schreiben || sagen „(∃3)x …”, wie ich φ(abc) auffassen kann als φ(3). (Also auch bei den Namen geht die Sache nicht
so glatt.)

(∃x) φx, (∃xy) φx ∙ φy, (∃xyz) φx ∙ φy ∙ φz, u.s.w.