Girard's paradox

== English == === Etymology === Named after Jean-Yves Girard. === Proper noun === Girard's paradox A particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory.