Wie ist es mit der Operation die die Reihe
(∃x) φx, (∃x,y) φx ∙ φy, etc. hervorbringt? Sie wäre:
[(∃x) ∙ φx, (–)–, (–,ξ)– ∙ φξ]