ラッセルのパラドックス
M は集合なので M に属さない集合が存在する。それはラッセルのパラドックスから分かる。