Wollten wir dasjenige welches wir durch „(x).φ(x)” ausdrucken durch das vorsetzen eines Index vor „φ(x)” ausdrükken etwa so „Alg.φ(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 φ(xA) es würde
auch nicht genügen denn (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 denn (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ˇverbindungen vermögen den gewünschten Sinn – auf die vorgeschlagene Weise – nicht auszude abzubilden.