Mathématiques, informatique, politique et poésie
L'ensemble vide, noté \(\varnothing\), est l'ensemble ne contenant aucun élément. Son existence dans ZFC se déduit du schéma d'axiomes de séparation, en choisissant une proposition toujours fausse.
