Illustration
Ⅰ. 結論（冒頭で提示）
ラッセルのパラドックスは、無制限包括原理が自己言及集合 (R) を許すことで必然的に矛盾を生むことを示した出来事です。この矛盾を回避するために、悪循環原理に基づく型理論、野村恭史の二元類理論、そして ZF/ZFC と呼ばれる公理的集合論がそれぞれ別個の方向から基礎を再構築しました。
Ⅱ. パラドックスの概要
無制限包括原理は、任意の性質 (\varphi(x)) について、その性質を満たすすべての対象の集合
[ {\,x \mid \varphi(x)\,} ]
が必ず存在すると主張する原理です[1]。この原理を無批判に受け入れると、次の集合 (R) を構成できます。
[ R = {\,x \mid x \notin x\,} ]
すなわち「自分自身を要素に持たないすべての集合」の集合です。
- (R) が自分自身を要素に持つ と仮定すれば、定義上「自分自身を持たない」集合であるはずなので矛盾します。
- (R) が自分自身を要素に持たない と仮定すれば、条件 (x \notin x) を満たすので (R) は (R) の要素になるはずで、やはり矛盾します。
このように (R \in R \iff R \notin R) という自己矛盾が必ず生じます[2]。
Ⅲ. ラッセルの対策：型理論と悪循環原理
悪循環原理（vicious‑circle principle）
「全体が自らを定義に含むことは許さない」という原則です。ラッセルはこの哲学的立場を提示し、全体集合の自己包含を禁止することでパラドックスを回避しようとしました[2]。型理論（type theory）
悪循環原理を形式化した具体的な体系です。型理論では対象を「型」に階層化し、低位の型の対象は高位の型の集合の要素になるように規定します。したがって、同一型の集合同士が互いに要素になることはなく、(R) のような自己包含集合は構成できません。
Ⅳ. 野村恭史の二元類理論
野村恭史はラッセルの類（class）理論を 「単一の類」 と 「多数の類」 の二つに分割して再解釈しました[3][4]。この区分は、日本の論理学における独自の展開として位置付けられ、当時の国内研究者が集合論のパラドックス問題に別視点で取り組む試みとして注目されました。
- 単一の類 は「要素がちょうど一つだけである類（すなわち単一項集合、singleton）」と定義し、公理として「任意の (x) に対し ({x}) は単一の類であり、({x}\notin{x}) が成り立つ」ことを規定します。したがって、単一の類は自己包含が起こり得ないことが保証されます。
- 多数の類 は要素が二つ以上ある類で、自己包含の危険が潜むため、集合（set）とは別体系として扱います。
この区分により、自己包含が問題になるケースは「多数の類」として別枠に移し、単一の類だけで構成できる集合はパラドックスの対象から除外されます。歴史的には、主流の 型理論 や ZF/ZFC と並行して提案された日本独自の解決策として位置付けられます。
Ⅴ. 公理的集合論への流れ：ZF と ZFC
型理論とは別に、エルンスト・ツェルメロは包括原理を制限した公理系を提案し、後に Zermelo–Fraenkel（ZF） として体系化しました[1]。主な変更点は次のとおりです。
- 分離公理：既存の集合から性質 (\varphi) を満たす部分集合だけを作ることを許可し、無制限の包括を排除します。
- 正則性（基礎）公理：任意の非空集合 (X) に対し、(X) の要素のうち (X) と交わらない要素 (y) が少なくとも一つ存在することを規定します。この公理から、もし (x\in x) であれば集合 ({x}) の唯一の要素 (x) は ({x}) と交わることになり、正則性に反するため自己包含は起こり得ません。
これに選択公理を加えた ZFC が現代の標準体系として確立され、ほぼすべての数学はこの枠組みで展開されています[1]。
Ⅵ. 現代への影響
ラッセルのパラドックスは、論理学全体の安全性 を問う重要な指標となっています。
- 型理論 は計算機科学におけるプログラミング言語の型システムの基礎となり、自己参照的な集合構成を禁止することでラッセルのパラドックスなど特定の矛盾を防止します。
- 悪循環原理 が示す「全体が自らを定義に含むことの禁止」は、形式体系全体の設計指針として広く受け入れられました。
- ZF/ZFC は公理を制限する別ルートで同様の矛盾回避を実現し、現代数学の公理的基盤となっています。
これらのアプローチはそれぞれ異なる視点から自己言及の危険を除去しており、現在では 公理的集合論（ZF/ZFC） が数学の主流として、型理論 が計算機科学や形式検証の分野で中心的な役割を果たしています。
Ⅶ. まとめ
- ラッセルのパラドックスは、無制限包括原理が自己言及集合 (R) を許すことで必然的に矛盾を生むことを示した。
- ラッセルは 悪循環原理 を哲学的根拠として提示し、これを形式化した 型理論 によって自己言及を階層的に制御した。
- 野村恭史は 「単一の類」／「多数の類」 の二元的区分を導入し、単一の類に自己包含を禁止する公理を設けることでパラドックスを回避しようとした（参考文献 4）。
- その後の ZF/ZFC は公理の制限という別ルートで同様の矛盾回避を実現し、現代数学の基礎となっている。
- パラドックスが提示した「自己言及の危険」は、型理論を通じて計算機科学の型システムや形式検証にも影響を与え、数学・コンピュータ科学両分野における重要な指針となっています。
参考文献
- 無制限包括原理と公理的集合論に関する文献
- ラッセルの悪循環原理と型理論に関する文献
- 野村恭史『二元類理論』に関する文献
- 野村恭史の二元類理論に関する追加資料
