Axiom of Empty Set

Set Theory · Axiom Academy

There exists a set with no elements The Axiom of Empty Set states that there exists a set that contains no elements: There exists a set that contains no elements. In formal logical notation, we express this using the existential quantifier: 2. Notation and Representation We denote the empty set in several ways: Empty braces: (showing nothing inside) Special symbol: ∅ (most common in modern mathematics) Both notations represent the same unique set - the set containing no elements. 3. Uniqueness via Extensionality A natural question: Could there be two different empty sets? The answer is no . The Axiom of Extensionality guarantees uniqueness: If both A and B are empty sets, then every element of A is in B (vacuously true), and every element of B is in A (vacuously true). Therefore, by extensionality, A = B. The empty set plays crucial roles in mathematics: Annihilator for intersection: A ∩ ∅ = ∅ Building block: Starting point for constructing natural numbers Subset of everything: ∅ ⊆ A for every set A

This is the written version of the interactive lesson above. See the full Set Theory course.