⚛️Igor Kan
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Archive
❯
Digital Garden (proof of concept)
❯
Separation Axiom
Separation Axiom
Apr 27, 2026
1 min read
set-theory
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
Recent Notes
Lexiscope
Apr 27, 2026
Lexisuite
Apr 27, 2026
Lifeweaver
Apr 27, 2026
Lingofy
Apr 27, 2026
See 318 more →