Girard's paradox
E2074824
UNEXPLORED
Girard's paradox is a logical inconsistency discovered by Jean-Yves Girard that shows certain powerful type systems and set theories are inconsistent when they allow overly strong forms of self-reference.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Girard's paradox canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.