girard's paradox

/JH ER0 AA1 R D EH0 S P EH0 R AH0 D AA0 K S/
noun
  1. 1

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