Bonjour,
Quelle est la différence entre une classe et un prédicat unaire en Théorie des ensembles versus Logique ?
Je sais qu'une classe est un prédicat unaire, ( Voir ici, http://settheory.net/fr/fondements/unif ), mais pourquoi un prédicat unaire n'est pas forcément une classe ?
Merci d'avance.
-----