いやあれは論理学じゃなくて集合論でしょjk