数学初心者です。
今読んでる本で、カントルのパラドックスが書かれてるんだけど（下記）、

「すべての集合の集合を考え、Mとする。そのベキ集合2^Mをつくる。両者の濃度は、ベキ集合の特性からM　<　2^M　－①。また、Mの定義により2^はMに属するから、2^M　≦　M　－②。よって矛盾」

Ｍの定義は「すべての集合の集合」で、その「すべての集合」にＭのベキ集合って含まれないんじゃないんですか？
Ｍのベキ集合は、集合Ｍが決定してはじめて決まるわけで、順序がある。Ｍを定義している「すべての集合」にＭのベキ集合を含むと、
その「（Ｍのベキ集合を含む）すべての集合」の集合はＭじゃないのでは？

すみません、ほんと素人なんですが、良ければ誰かご指導ください。