だからラッセルの型理論を否定するなら、それだとダブルバインドの概念や適用自体が発散するけど、それでいいのかい？つまり、お前はダブルバインドを使って事実上、何も主張してないのと等価になるがw