Wenn ich den Satz schreibe „(Еxyz)φ( ) ∙ (Еx,y)ψ( ) ∙ Ind. . ⊃ .
. ⊃ . (Еxyzuv)φ( ) ⌵ ψ( )” so muß ich, um die Extension der rechten Klammer richtig [be|hin]schreiben zu können, sie in zwei Teilen schreiben, die den beiden linken Extensionen 1–1 zugeor[g|d]net sind. Ich bekomme also hier (und im einfacheren Fall ist es natürlich dasselbe) zuerst den Satz (Е3x) φx ∙ (Е2x) ψx ∙ Ind. . ⊃ . (Е3 + 2x) φx ⌵ ψx.