[(∃x) φx, (∃–)–, (∃–y)– ∙ φy] Aber hier habe ich nun die Schwierigkeit daß ich kein Mittel habe weiß um zu zeigen daß bei jeder folgenden Operation eine Variable benützt werden muß, die noch nicht in der Klamer „(∃ …)” vorkommt.
  Oder könnte man das so ausdrucken:


[(∃x1) φx1, (∃–x1)–φx, (∃–xx–1)–φx ∙ φx–1]