L'axiome de l'ensemble vide énonce qu'il existe un ensemble ne possédant pas d'éléments. Dans les présentations modernes, il ne fait pas partie des axiomes de la théories des ensembles de Zermelo, ou Zermelo-Fraenkel, car, dans un univers ensembliste non vide, il est conséquence du schéma d'axiomes de compréhension. Mais il peut être utile pour certaines théories des ensemble très faibles.
Dès qu'il existe un ensemble, l'existence d'un ensemble vide peut être démontrée par compréhension, comme étant le sous-ensemble des éléments de celui-ci qui vérifient une propriété toujours fausse[1]. En logique du premier ordre, le plus souvent, les domaines d'interprétation des variables d'objets de base sont non vides[2]. Cela compliquerait beaucoup l'exposé des règles logiques de considérer des domaines vides[3]. Par conséquent 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[4] (l'ensemble de base d'un modèle de la théorie des ensembles considérée, le domaine dans lequel sont interprétées les variables d'ensemble) est supposé non vide. Une nouvelle variable introduite dans le raisonnement désigne un ensemble arbitraire de l'univers, ce qui a un sens puisque cet univers est non vide.
Il suffit donc, dans le cas qui nous préoccupe, d'appliquer le schéma d'axiomes de compréhension à un ensemble arbitraire, pour une propriété jamais réalisée : soit y un ensemble, il existe par compréhension un ensemble a = {x ∈ y| x ≠ x}, et celui-ci est bien l'ensemble vide, c’est-à-dire que ∀xx ∉ a[5].
L'axiome de l'ensemble vide reste utile pour des théories des ensembles très faibles, sans axiome de compréhension, comme la théorie S' qui ne comprend pour axiomes que :
l'axiome d'extensionnalité ;
l'axiome de l'ensemble vide ;
un axiome qui exprime essentiellement que si x et y sont des ensembles, alors x ∪ {y} est un ensemble.
Dans une présentation de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel qui ne présuppose pas une connaissance de la logique du premier ordre, ou qui ne suppose pas l'univers non vide a priori, l'existence de l'ensemble vide se déduit de n'importe quel axiome assurant l'existence d'un ensemble.
Paul Halmos introduit temporairement une hypothèse d'existence (il existe au moins un ensemble) pour démontrer l'existence d'un ensemble vide, sachant que les théories de Zermelo et de Zermelo-Fraenkel possèdent un axiome d'existence bien plus fort que l'axiome de l'ensemble vide, l'axiome de l'infini, qui intègre celui-ci[7].
Thomas Jech affirme directement que celui-ci se déduit de l'axiome de l'infini[8].
Kenneth Kunen ajoute un axiome « 0 » d'existence d'un ensemble « ∃xx=x », pour insister sur le fait que l'univers est non vide, tout en précisant que cet axiome n'est pas nécessaire car « conséquence des axiomes logiques »[9].
↑Par exemple René Cori et Daniel Lascar, Logique mathématique, tome 1, Masson, (1re éd. 1993).
↑En déduction naturelle, la règle d'introduction de l'existentielle suppose, pour pouvoir être interprétée correctement, que les domaines sont non vides Karim Nour, René David et Christoffe Raffalli, Introduction à la logique : théorie de la démonstration, , 352 p. (ISBN978-2-10-006796-1).
↑(en) Kenneth Kunen, Set Theory : An Introduction to Independence Proofs, Amsterdam/New York/Oxford, North-Holland, , 313 p. (ISBN0-444-85401-0), p. 10.