Wir können uns ja auch eine logische Summe denken:
[Hier bedeutet (Е …) es gibt nur]
      (Еx) φx ∙ (Еx) ψx ⌵
⌵ (Еxy) φx ∙ φy ∙ (Еxy)ψx ∙ ψy
⌵ (Еx,y,z) φx ∙ φy ∙ φz ∙ (Еxyz)ψxψyψz ⌵
⌵ (Еxyzu) etc.
Und das könnte man schreiben: (Еn)nφ ∙ nψ
und hier enthält das n die Formenreihe oder ist die variable Form.