ラッセルのパラドックスの簡単な解説と例

更新 2025/11/14

「自分自身を含む集合」について考えてみます。ラッセルのパラドックスという有名な話題です。

ラッセルのパラドックス

ラッセルのパラドックスでは自分自身を含む集合を考えます。例えば，全ての物を含む集合 $X$ というものを考えてみると，それは自分自身も含むべきなので $X\in X$ となりそうです。

そのような自分自身を含む集合はよく分からないのでこの記事では「異常な集合」と呼ぶことにします。 $X\not\in X$ であるような集合を「正常な集合」と呼ぶことにします。

すると，以下のように矛盾が導けます！

正常な集合 $X$ を全て集めてきた集合を $A$ とする。

$A$ が正常なとき
$A$ は定義より正常な集合を全て集めてきたものなので当然 $A$ 自身も含む。よって $A\in A$ である。しかし，これは異常の定義より $A$ が異常であることを表しているので矛盾。
$A$ が異常なとき
$A$ が異常なので，異常の定義より $A\in A$ である。しかし，これは $A$ の定義（正常な集合を全て集めてきたもの）に矛盾。

この証明のどこに穴があるか考えてみてください！

よくある例

ラッセルのパラドックスは集合論や述語論理の言葉で表現されることが多いですが，ここでは身近に感じられるように簡単な例を紹介しておきます。以下の二つの例はラッセルのパラドックスの例としてしばしば挙げられます。

例：床屋のパラドックス

以下のような床屋がいる：

自分でひげをそらない人全員のひげをそる。
自分でひげをそる人のひげはそらない。

このとき床屋自身のひげは自分でそるのか？

床屋が自分でひげをそる場合もそらない場合も，さきほどの議論と同様に矛盾してしまいます！

例：蔵書目録

自分自身を引用していないような本全てを一覧にした（引用した）本 $X$ を作ることを考える。

このとき $X$ は $X$ を引用するのか？

どちらの場合も矛盾してしまいます！

公理的集合論

そもそも，現代数学では
「{X∣X∉X}\{X\mid X\not\in X\}{X∣X∈X} はそもそも集合でない」と考えるのが主流です。
ラッセルのパラドックスはパラドックスではなく
{X∣X∉X}\{X\mid X\not\in X\}{X∣X∈X}
 が集合でないことの証明です。目録の例では「そのような目録はそもそも作れない」わけです。
よりきちんと言うと，公理的集合論という枠組で，どのようなものが集合なのかがきちんと定義されます。
ZF公理系というものに選択公理を加えたZFC公理系が広く使われています。興味のある方は調べてみてください。
いろいろなパラドックスを調べてみると，いかに人間の直感が外れているかが分かります。
Tag:難しめの数学雑学・ネタまとめ

この記事の監修者

マスオ

東京大学大学院情報理工学系研究科修了／2014年にWebサイト『高校数学の美しい物語』を立ち上げ／著書累計 50,000部突破／「わかりやすいこと」と「ごまかさないこと」の両立を意識している。 →著者情報・書籍一覧を見る