⚛️Igor Kan
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Archive
❯
Digital Garden (proof of concept)
❯
Comprehension Axiom (Invalid in ZFC)
Comprehension Axiom (Invalid in ZFC)
Apr 27, 2026
1 min read
set-theory
axiom
paradox
{
x
∣
ϕ
(
x
)}
Na�ve axiom rejected due to paradoxes (e.g. Russell).
Graph View
Backlinks
Zermelo–Fraenkel Set Theory with the Axiom of Choice
Recent Notes
Social media bio generator
Apr 27, 2026
Soulsynth
Apr 27, 2026
Starmind
Apr 27, 2026
Startup idea generator
Apr 27, 2026
See 318 more →