Quartz 4
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Russell's Paradox
Russell's Paradox
Dec 08, 2025
1 min read
{
X
.
X
∈
/
X
}
∈
{
X
.
X
∈
/
X
}
leads to a contradiciton in
naive set theory
.
Graph View
Backlinks
Class (Set Theory)
Curry-Howard Correspondence
Girard's Paradox
Impredicative
Set Theory
Set
Intuitionistic Type Theory
Universe