Wollten wir das, was wir durch „(x) ∙ fx” ausdrücken, dur z.B. durch vorsetzen eines Indexes vor „fx” ausdrücken – etwa so „Alg ∙ fx”, es würde nicht genügen – wir wüßten nicht was verallgemeinert wurde).
Wollten wir es durch einen Index am „x” anzeigen – etwa so „f(x_a)” – es würde auch nicht genügen – wir wüßten nicht den Bereich der Allgemeinheitsbezeichnung.
Wollten wir es durch Einführen einer Marke in die Argumentstellen versuchen – etwa so „(A,A) ∙ F(A,A) – es würde nicht genügen – wir könnten die Identität der Variablen nicht feststellen⌊.⌋ – u.s.w.
Alle diese Bezeichnungsweisen genügen nicht, weil sie nicht die ge notwendige mathematische Manigfaltigkeit haben.