Axiome de l'ensemble vide

L'axiome de l'ensemble vide ne fait pas partie des axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel, quand celles-ci sont présentées comme des théories du premier ordre. En effet, cela signifie ici que ce que l'on appelle un univers (l'ens…