Ça ne pose pas de problème pour les classes au sens mathématique du terme, il me semble. Le principe c’est justement qu’on peut utiliser n’importe quel prédicat sur une classe propre ?
Le truc pour ne pas avoir de paradoxe en théorie des ensembles c’est que tu ne peux pas statuer de « l’appartenance » d’une classe propre à une autre classe propre, et a fortiori à un ensemble. Si tu ne fais jamais ce genre de truc j’avoue que je vois pas trop en quoi il y aurait un problème à avoir n’importe quel prédicat. C’est juste que si ça laisse tout passer il y a des chances qu’une fonction avec un paramètre d’un tel type ne peut pas supposer grand chose.
[^] # Re: théorie des ensembles pas naives
Posté par thoasm . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 3.
Ça ne pose pas de problème pour les classes au sens mathématique du terme, il me semble. Le principe c’est justement qu’on peut utiliser n’importe quel prédicat sur une classe propre ?
Le truc pour ne pas avoir de paradoxe en théorie des ensembles c’est que tu ne peux pas statuer de « l’appartenance » d’une classe propre à une autre classe propre, et a fortiori à un ensemble. Si tu ne fais jamais ce genre de truc j’avoue que je vois pas trop en quoi il y aurait un problème à avoir n’importe quel prédicat. C’est juste que si ça laisse tout passer il y a des chances qu’une fonction avec un paramètre d’un tel type ne peut pas supposer grand chose.
https://fr.wikipedia.org/wiki/Classe_(math%C3%A9matiques)