Axiom Schema of Separation

Set Theory · Axiom Academy

LESSON Axiom Schema of Separation Building subsets from existing sets using properties Given any set A and any property P(x), we can form the subset of elements in A that satisfy P(x). The key insight: we can only separate elements from an existing set - we cannot create a set from scratch using a property alone. For every set A and every formula P(x), there exists a set B containing exactly those elements x in A for which P(x) holds. We write this set as B = x ∈ A : P(x) , which is read as "the set of all x in A such that P(x) is true." 3. How Separation Avoids Russell's Paradox Russell's Paradox arises when we try to form R = x : x ∉ x , the "set of all sets that don't contain themselves." The Separation Axiom prevents this! We can only form x ∈ A : x ∉ x for some existing set A. This gives us a subset of A, not a universal set, avoiding the contradiction.

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