Word.ws English Dictionary

Girard's paradox

Girard's paradox proper noun: a particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory.

Proper noun

Girard's paradox

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

Origin of Girard's paradox

Named after Jean-Yves Girard.

Questions about Girard's paradox

What does Girard's paradox mean?
Girard's paradox means a particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory.
What part of speech is Girard's paradox?
Girard's paradox is a proper noun.

Words near Girard's paradox in the dictionary

  1. girandole clocks
  2. girandoles
  3. Girard
  4. Girard form class
  5. Girard form classes
  6. Girard's paradox
  7. Girardeau
  8. Girardi
  9. Girardian
  10. Girardin
  11. Girardins

Source and license

Adapted from Wiktionary: Girard's paradox (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Girard's paradox.” Word.ws, https://word.ws/girard%27s_paradox. Based on Wiktionary, CC BY-SA 4.0.