Girard's paradox

proper noun

A particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory.

Meanings

proper noun

Origin

Named after Jean-Yves Girard.

Full word history & related roots →
Cite this entry
APA

Girard's paradox. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Girard's%20paradox

MLA

“Girard's paradox.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Girard's%20paradox. Accessed November 5, 2026.

Chicago

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.