⚛️Igor Kan
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Digital Garden (proof of concept)
❯
Separation Axiom
Separation Axiom
∀
A
∃
B
∀
x
(
x
∈
B
↔
x
∈
A
∧
ϕ
(
x
))
Subsets defined by properties.
Graph View
Backlinks
Zermelo–Fraenkel Set Theory with the Axiom of Choice
Axiom Schema