⚛️Igor Kan
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Archive
❯
Digital Garden (proof of concept)
❯
Separation Axiom
Separation Axiom
Jul 24, 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
Reverse google
Jul 24, 2026
Riskstream
Jul 24, 2026
Sapien data labeling
Jul 24, 2026
Scholarly
Jul 24, 2026
See 319 more →