自然言語
カリーのパラドックスの自然言語版は次のような文である。