Wollten wir
dasjenige welches wir durch „(x).φ(x)”
ausdr
ücken durch das
Vorsetzen eines Index vor
„φ(x)”
ausdrü
cken etwa so „Al
lg.φ(x)”,
es würde nicht genügen (wir wüßten nicht was
verallgemeinert wurde)
.
Wollten wir es
durch einen Index am „x” anzeigen etwa so
φ(x
A) es
würde
auch nicht genügen (wir wüßten auf
diese Weise nicht den Bereich der
Allgemeinheit
.)
.
Wollten wir es durch Einfüllen einer Marke in die
leeren Argumentstellen versuchen etwa so „(A,A).ψ(A,A)”
es würde nicht genügen (wir könnten
die Identität der
Variablen nicht
feststellen).
Alle diese Bezeichnungsweisen genügen
nicht
weil sie nicht die notwendigen logischen
Eigenschaften haben.
Alle jene
Zeichen || Zeichenverbindungen vermögen den gewünschten
Sinn – auf die vorgeschlagene Weise – nicht
abzubilden.