Jump to content

Girard's paradox

From Wiktionary, the free dictionary

English

[edit]
English Wikipedia has an article on:
Wikipedia

Etymology

[edit]

Named after Jean-Yves Girard.

Proper noun

[edit]

Girard's paradox

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