In dem Zeichen (∃2)x ∙ φx muß es schon liegen daß die beiden Werte von x in ein Produkt φx ∙ φy eingesetzt werden sollen. Ebenso ist es mit einem Zeichen (∃5)xaRxRb – nur daß hier das Zeichen aRxRb eigens für [den| diesen] Zweck eingeführt wurde während man es dem Zeichen
φx in (∃2)xφx nicht ansieht daß im zerlegten [s|S]atz statt „φx” „φx ∙ φy” steht.