girard's paradox
/JH ER0 AA1 R D EH0 S P EH0 R AH0 D AA0 K S/noun
- 1
A particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory.
Translate โgirard's paradoxโ into another language
Choose a language below to open the translator with English selected as the source language.