5.52 Si les valeurs de ξ sont l'ensemble des valeurs d'une fonction fx pour toutes les valeurs de x, alors = ~(∃x) . fx.