411 REFERENCE · Wiktionary
Girard's paradox
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
System U
Etymology
Named after Jean-Yves Girard.
Proper noun
A particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory.
en eponyms