Meaning of Girard's paradox | Babel Free
Definitions
A particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory.
CEFR level
B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
This word is part of the CEFR B2 vocabulary — upper intermediate level.