⚛️Igor Kan
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Archive
❯
Digital Garden (proof of concept)
❯
Zermelo Fraenkel with Atoms (ZFA)
Zermelo-Fraenkel with Atoms (ZFA)
Apr 16, 2026
1 min read
set-theory
Variant of ZF allowing urelements.
Urelement: an object not equal to
∅
and not containing anything.
Graph View
Backlinks
Zermelo–Fraenkel Set Theory with the Axiom of Choice
Recent Notes
Yt title thumb tester
Apr 16, 2026
🚀 Skills
Apr 16, 2026
Hi, I'm Igor Zakhidov.
Apr 16, 2026
Social bio formatter
Apr 16, 2026
See 318 more →