[014]L’insieme vuoto \(\emptyset \) è un insieme. In formule:
\[ ∃ X : ∀ Y ¬(Y ∈ X) \]
per il precedente assioma, \(X\) è unico, e viene denotato con \(\emptyset \)
[014]L’insieme vuoto \(\emptyset \) è un insieme. In formule:
per il precedente assioma, \(X\) è unico, e viene denotato con \(\emptyset \)