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