Mathématiques, informatique, politique et poésie
$\(\forall x \forall y \forall z(\phi(x, y, p) \land \phi(x, z, p) \implies y = z) \implies \forall X \exists Y \forall y(y \in Y \iff (\exists x \in X)\phi(x, y, p))\)$
Autrement dit : l'image d'un ensemble par une fonction est un ensemble.