ラッセルのパラドックス
Or, more spectacularly (Halmos' phrasing): There is no universe. "Proof": Suppose that it exists and call it . Now apply the axiom schema of separation with and for use . This leads to Russell's paradox again. Hence can't exist in this theory.