⚛️Igor Kan
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Digital Garden (proof of concept)
❯
Comprehension Axiom (Invalid in ZFC)
Comprehension Axiom (Invalid in ZFC)
{
x
∣
ϕ
(
x
)}
Na�ve axiom rejected due to paradoxes (e.g. Russell).
Graph View
Backlinks
Zermelo–Fraenkel Set Theory with the Axiom of Choice