カリーのパラドックス
カリーのパラドックス
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/10 05:06 UTC 版)
X = {a | ( a ∈ X ) → Y} という集合を考える。いかなるYも真となるため、結果として矛盾を生じる。
※この「カリーのパラドックス」の解説は、「集合論」の解説の一部です。
「カリーのパラドックス」を含む「集合論」の記事については、「集合論」の概要を参照ください。
カリーのパラドックスと同じ種類の言葉
- カリーのパラドックスのページへのリンク