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.
单词 | Girard's paradox |
释义 | Girard's paradox |
随便看 |
国际大辞典收录了7408809条英语、德语、日语等多语种在线翻译词条,基本涵盖了全部常用单词及词组的翻译及用法,是外语学习的有利工具。