Girard's paradox

Proper noun

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

Japanese Meaning

数学的論理学における特定のパラドックス。 / 集合論におけるラッセルのパラドックスに相当する、型理論に基づくパラドックス。

Girard's paradox shows that allowing certain type-forming operations can lead to inconsistency in some type systems.

ジラールが指摘した逆説は、特定の型生成操作を許すといくつかの型システムで矛盾が生じることを示しています。

Sense（1）

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