2 + 1 ist doch einfach eine Regel wie man aus zwei uns bereits bekannten Zeichen ein drittes bildet. (∃3 + 4)x … heißt:
bilde ein Zeichen indem Du etc. …: Es wäre also etwa so: Ich kenne „3” & „4” von den Zeichen „(∃3) …” & „(∃4) …” her und diese Kenntnis verwende ich
nun bei der Bildung des Zeichens (∃3 + 4)x–. Daraus würde übrigens schon hervorgehen daß man „3” bezw. „4” nicht durch das || die Zeichen „(∃3)x”, „(∃4)x” definieren darf weil ja das Zeichen „(∃3)x” im Zeichen „(∃3 + 4)x” nicht vorkommt.