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.