Russell's paradox

ウィキペディア

ラッセルのパラドックス

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/06/16 04:25 UTC 版)

ラッセルのパラドックス（英: Russell's paradox）とは、素朴集合論において、自身を要素として持たない集合全体からなる集合の存在を認めると矛盾が導かれるというパラドックス。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡においてフレーゲの『算術の基本法則』における矛盾を指摘する記述に現れ、1903年出版のフレーゲの『算術の基本法則』第II巻（独: Grundgesetze der Arithmetik II）の後書きに収録された。なお、ラッセルに先立ってツェルメロも同じパラドックスを発見しており、ヒルベルトやフッサールなどゲッティンゲン大学の同僚に伝えた記録が残っている。

ラッセルの型理論（階型理論）の目的のひとつは、このパラドックスを解消することにあった。

概要

「それ自身を要素として含まない集合」を「M 集合」とし、「すべての M 集合を要素として含む集合 R」を作ってみる。そうすると、「任意の集合 X」に関しては、「X は R に含まれる」↔︎「X は X に含まれない」という定式が成り立つ。そして特に X = R とすれば、「R は R に含まれる」↔︎「R は R に含まれない」となり、パラドックスが明示される。

集合は事物とは違った存在の仕方をしており、世界を構成する存在者ではなく、論理的虚構にすぎず、そこには階型の違いがある。よって「集合がそれ自身の要素であるかどうかの問いの全体」が、「真でも偽でもなく」むしろ「無意味」「意味のない雑音」であった。集合とは、後の「記述の理論」があきらかにする意味で不完全記号である。「集合」「数」の指示するものが「スコラ的プラトン的な意味」で「無時間的に存在」すると考えてはならないとラッセルは気付いた。事物の存在の次元と集合の語られる次元とは混同されてはならず、或る階型の対象に真偽を言えても、異階型の対象には有意味には言えない。我々は何らかの性質を有意味には命題一般には帰属させ得ず、ただ特定の次元の命題に有意味に帰属させうるのみである(ラッセルの階型理論)。

集合論が形式化されていないことが矛盾の原因なのではなく、このパラドックスは、古典述語論理上の理論として形式化された無制限の内包公理を持つ素朴集合論や、直観主義論理上の素朴集合論においても生じる。したがって論理を古典論理から直観主義論理に変更してもラッセルのパラドックスは回避できない。パラドックスの回避については、様々な方法が提案されている。詳細は矛盾の解消を参照。

矛盾の解消

公理的集合論によって何をもって集合とするかについての形式的な整備が進められ、素朴（だが超越的）な $R$ カテゴリ