5,963
edits
Template:Individual-TLP-paragraph-fr-3.333: Difference between revisions
Template:Individual-TLP-paragraph-fr-3.333 (view source)
Revision as of 09:34, 11 February 2023
, 1 year agono edit summary
(Bot: Automated import of articles) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{ParTLPwrapper-fr|{{ParTLP|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. | {{ParTLPwrapper-fr|{{ParTLP|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. | 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 <nowiki>=</nowiki> Fu ». | Ceci s'éclaire immédiatement si, au lieu de « F(F(u)) », nous écrivons : « (∃φ) : F(φu) . φu <nowiki>=</nowiki> Fu ». | ||