Girard's paradox

短语

释义与例句

name
  1. 1.

    A particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory.

词源

Named after Jean-Yves Girard.

来源：wiktionary