/  
(∃x) φx ≝ (∃1)xφ(x)
(∃x,y) φx ∙ φy ≝ (∃1 + 1)xφ(x)
(∃x,y,z) φx ∙ φy ∙ φz ≝ (∃1 + 1 + 1 + 1)xφ(x)
u.s.w.
ferners:
(∃n)xφ(x) ∙ ~(∃n + 1)xφ(x) ≝ φ(n) (n)xφx