ウィキペディア

カリーのパラドックス

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2011/01/15 02:39 UTC 版)

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