Meanings
- A particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory.
Origin
Named after Jean-Yves Girard.
Full word history & related roots →Cite this entry
Girard's paradox. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Girard's%20paradox
“Girard's paradox.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Girard's%20paradox. Accessed November 5, 2026.
WatkinsX Dictionary, s.v. “Girard's paradox,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/Girard's%20paradox.
Source: Girard's paradox on Wiktionary, CC BY-SA 4.0.