Girard's paradox (English, name)
expansion: Girard's paradox
Senses:
glosses: A particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory.
Forms: