Problème d'ensemble

Bonjour à tous

n'ayant pas eu de réponse dans mon précédent post, je réexplique mon problème

Dans quelle mesure une propriété définit-elle un ensemble (logiquement parlant). En particulier si cette propriété met en jeu des problème d'autoréférence : par exemple G = l'ensemble des fonctions de R dans AxG , avec A un ensemble qq !!!

Notons que de telle propriété peuvent définir des ensembles puisque G est bien défini : il contient entre autre la fonction phi qui à f dans L1 associe (f,f,.....) = (f,phi(f)) => phi = (Id,phi) appartient à G


Par contre, le paradoxe de Russel nous montre qu'une propriété autoréférente peut ne pas décrire un ensemble...

Pour moi si G existe c'est qu'il existe une autre facon de le décrire (non autoreférente), de telle proposition serait donc non suffisante pour décrire un ensemble. J'aimerai savoir comment explicité ca de façon plus rigoureuse en logique.


Merci d'avance

Fionat