⚛️Igor Kan
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Archive
❯
Digital Garden (proof of concept)
❯
Morse�Kelley Set Theory (MK)
Morse�Kelley Set Theory (MK)
Apr 16, 2026
1 min read
set-theory
class-theory
Stronger than NBG.
Allows full class quantification.
Not finitely axiomatizable unless restricted.
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 →