⚛️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
Pronunciation guide
Jul 24, 2026
Public lie detector
Jul 24, 2026
Qr code bulk generator
Jul 24, 2026
Qr shortener
Jul 24, 2026
See 319 more →