ラッセルのパラドックス
この場合も Y 自身が矛盾した論理式の派生形式がある。その場合の X は formula_3 となり、最終的に formula_4 が得られる。これは自分自身を含まない全集合の集合を表している。これはラッセルのパラドックスと等価である。