Template:Individual-TLP-paragraph-fr-3.333

3.333 Une fonction ne saurait par conséquent être son propre argument, puisque le signe de fonction contient déjà l'image primitive de son argument, et ne peut se contenir lui-même.

Supposons, par exemple, que la fonction F(fx) puisse être son propre argument ; il y aurait donc alors une proposition « F(F(fx)) », dans laquelle la fonction externe F et la fonction interne F devraient avoir des significations différentes, car la fonction interne est de la forme φ(fx), l'externe ψ(φ(fx)). Seule est commune aux deux fonctions la lettre F, mais qui en elle-même ne dénote rien.

Ceci s'éclaire immédiatement si, au lieu de « F(F(u)) », nous écrivons : « (∃φ) : F(φu) . φu = Fu ».

Ainsi se trouve éliminé le paradoxe de Russell.