Statt „(∃xyz) …” kann ich ebensowenig allgemein sagen schreibensagen „(∃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.