Girard's paradox

Etymology
Named after.

Proper noun

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