Template:Individual-TLP-paragraph-fr-4.0411

4.0411 Si nous voulions, par exemple, exprimer au moyen d'un indice préfixé, tel que « Gén.fx », ce que l'on exprime par « (x)fx », cela ne serait pas suffisant, car nous ne saurions pas ce qui est généralisé. Si nous voulions l'exprimer par un indice suffixé « α », tel que : « f(x_α) », ce ne serait pas non plus suffisant, car nous ne saurions pas quelle est la portée de la notation de généralisation.

Si nous voulions essayer de l'exprimer en introduisant une marque aux places des arguments, comme par exemple : « (G,G) . F(G,G) », cela ne suffirait pas, car nous ne pourrions fixer l'identité des variables. Etc.

Tous ces modes de dénotation sont insuffisants, en ce qu'ils ne possèdent pas le degré nécessaire de multiplicité mathématique.