カリーのパラドックス

ウィキペディア

カリーのパラドックス

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/10/04 11:55 UTC 版)

カリーのパラドックス（英: Curry's paradox）は、素朴集合論や素朴論理学で見られるパラドックスであり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生されることを示す。名称の由来は論理学者のハスケル・カリーから。

ウィキペディア小見出し辞書

カリーのパラドックス

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/10 05:06 UTC 版)

「集合論」の記事における「カリーのパラドックス」の解説

X = {a | ( a ∈ X ) → Y} という集合を考える。いかなるYも真となるため、結果として矛盾を生じる。