Template:Individual-TLP-paragraph-pt-br-4.0411

4.0411 Se quiséssemos, por exemplo, exprimir o que é expresso por “(x) . fx” apondo um índice junto a “fx”, a saber: “Univ. fx”, isto não bastaria — não saberíamos o que foi universalizado. Se quiséssemos indicá-lo por um índice “α” — tal como “f(x_α)”, isto também não bastaria — não conheceríamos o escopo da designação da universalidade.

Se quiséssemos tentar graças à introdução de uma marca no lugar do argumento — por exemplo: “(A, A) . F(A, A)” —, isto também não bastaria, pois não poderíamos fixar a identidade das variáveis. E assim por diante.

Todos êsses modos de designação não bastam, porquanto não possuem a necessária multiplicidade matemática.