Mathématiques, informatique, politique et poésie
Le schéma d'axiomes de séparation est un axiome de ZFC et s'énonce ainsi :
Autrement dit, pour toute formule \(\phi\), on peut construire l'ensemble des éléments d'un ensemble \(X\) tels que \(\phi(x)\).