2.
Definitionen zur Abkürzung:

(∃x) φx: ~(∃x,y) φx ∙ φy ≝ (εx) φx


(∃x,y) φx ∙ φy: ~(∃x,y,z) φx ∙ φy ∙ φz ≝ (εx,y) φx ∙ φy


u.s.w.


(Ɛx) φx ≝ (Ɛx) φx

(Ɛx,y) φx ∙ φy = (Ɛ❘ ❘x) φx = (Ɛ2x) φx


u.s.w.