[014]L’insieme vuoto \(\emptyset \) è un insieme. In formule:
\[ ∃ X : ∀ Y ¬(Y ∈ X) \]
per il precedente assioma, \(X\) è unico, e viene denotato con \(\emptyset \)
EDB — 014
Vista
Autori:
"Mennucci , Andrea C. G."
.
Bibliografia
Indice analitico
Indice analitico
- assioma, dell'insieme vuoto
- insieme, vuoto
- teoria, formale degli insiemi
Stai gestendo il blob in: Multiple languages