Applying the Axioms

Set Theory · Axiom Academy

Prove that the intersection of two sets exists using the Axiom of Separation Excellent work! You've completed this example. Here's what we learned: Starting point matters: We need an existing set to work with. The Axiom of Separation cannot create sets from nothing, only carve out subsets from existing sets. Separation is powerful: The Axiom of Separation lets us define any subset of an existing set by specifying a property. This is how we prove many basic set operations exist. Intersection via Separation: We proved that A ∩ B exists by separating from A those elements that also belong to B. This is the standard way to justify intersections in ZFC. Property specification: The property "x ∈ A and x ∈ B" precisely captures what it means to be in the intersection, showing the connection between formal axioms and intuitive set operations. This technique of using Separation to prove set operations exist is fundamental in axiomatic set theory. You'll use this pattern repeatedly when working with ZFC axioms!

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