Wollten wir dasjenige welches wir durch „(x).φ(x)” ausdrücken durch das Vorsetzen eines Index vor „φ(x)” ausdrücken etwa so „Allg.φ(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 (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.