EDB β€” 014

↑ ← β†’ ↓ view in whole PDF view in whole HTML

View

English

[014]The empty set \(\emptyset \) is a set. The formula for this axiom is

\[ βˆƒ X : βˆ€ Y Β¬(Y ∈ X) \]

and by the preceding axiom, \(X\) is unique, so it is denoted by \(\emptyset \).

Download PDF
Authors: "Mennucci , Andrea C. G." .
Bibliography
Book index
  • axiom, of empty set
  • set, empty β€”
  • empty set
  • formal set theory
Managing blob in: Multiple languages
This content is available in: Italian English