カリーのパラドックスはパラドックスになるとは知られていても、回避法が発見されてない
矛盾が起きることがわかっているだけで、それが許容されないともまだ言えない