Kann ich nun allgemein schreiben
(∃xyz) φx ∙ φy ∙ φz = (∃3)xφx = (∃2 + 1)xφx?
Wie soll ich aber das „+” einführen? Und was bedeutet hier die Zerlegung von 3 in 2 & 1 (Hat sie nicht nur mit Beziehung auf jene Folgerung Sinn?)