それなら集合論はなぜ論理的と言う事ができるのだろう。