ブラリ=フォルティのパラドックスとは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 人文 > 論理 > パラドックス > ブラリ=フォルティのパラドックスの意味・解説 

ブラリ=フォルティのパラドックス

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/28 18:51 UTC 版)

ブラリ=フォルティのパラドックス (Burali-Forti paradox) とは、数学集合論におけるパラドックスの一つであり、「全ての順序数の集合」という概念を素朴に導入すると矛盾が起こるという主張。即ちそのような存在を許す体系は自己矛盾していることを示す。

フォン・ノイマン順序数を用いた説明

矛盾の原因は、全ての順序数の集合が順序数としての性質を全て満たすが故に、それ自体がまた順序数と看做されねばならないことにある。従って、その後続順序数を構成することができ、これはよりも厳密に大きい。ところが、定義によりこの順序数もまたの元でなければならない。ゆえに

より一般的な説明

上に挙げた説明は一種の時代錯誤を含んでいる。何故ならフォン・ノイマンに由来する順序数の定義を仮定しているからで、その中で個々の順序数は先行する全ての順序数の集合になっている。 このような定義はブラリ=フォルティがパラドックスを考案した当時はまだ知られていなかった。

以下により仮定を減らした説明を書く。

整列集合順序型(このような順序型を順序数という)を考える。この時、順序数同士に自然な整列順序が存在する。これにより順序数全体も整列集合になり、その順序型もこの中に含まれなくてはならない。素朴集合論(及びZFC、但し新基礎集合論(NF)は除く)においては、ある順序数よりも小さい全ての順序数全体の順序型は自身であることが容易に示される。従ってよりも小さい順序数全体の順序型は自身である。一般に整列集合の真の切片((proper initial segment))の順序型は全体の順序型より小さいことが容易に示される。このことからより小さい順序数全体の順序型は順序数全体の順序型より小さくなくてはならないが、このことはより小さいことを表し、矛盾。

順序数を全ての先行する順序数の集合であるとするフォン・ノイマンの定義を用いるならば、ある順序数よりも小さな全ての順序数の順序型は自身になるという主張は真でなければならない。従ってフォン・ノイマン順序数の「集まり」は、ラッセルのパラドックスに出てくる「集まり」と同様に、古典論理による集合論における「集合」と見なすことはできない。しかしNFにおいては、順序型の集まり(整列集合の順序同型に関する同値類全体)は実際に集合であり、よりも小さな順序数の順序型は実はとは異なるという形でパラドックスは回避される。

ZFCにおけるパラドックスの解決

現代的な公理的集合論においては、無制限な包括原理、つまり「性質を満たす全てのものの集合」というような集合の構成を単純に禁止することでこの矛盾を回避している。例えばゴットロープ・フレーゲの公理系ではこれはまだ禁止されていなかった。なお、NFでは異なった解決法が採られている。

歴史

ブラリ=フォルティのパラドックスという名称は1897年にこれを発見したチェザーレ・ブラリ=フォルティに由来する。但し異説があり、グレゴリー・チャイティンは本当の発見者はバートランド・ラッセルだと述べている[1]

関連項目

脚注

  1. ^ Gregory Chaitin. “A Century of Controversy over the Foundations of Mathematics”. Springer-Verlag. 2008年5月22日閲覧。

ブラリ=フォルティのパラドックス

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/29 15:57 UTC 版)

パラドックス」の記事における「ブラリ=フォルティのパラドックス」の解説

全ての順序数集合」を仮定すると、それ自身順序数であることから矛盾生じる。

※この「ブラリ=フォルティのパラドックス」の解説は、「パラドックス」の解説の一部です。
「ブラリ=フォルティのパラドックス」を含む「パラドックス」の記事については、「パラドックス」の概要を参照ください。

ウィキペディア小見出し辞書の「ブラリ=フォルティのパラドックス」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



ブラリ=フォルティのパラドックスと同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ブラリ=フォルティのパラドックス」の関連用語

ブラリ=フォルティのパラドックスのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ブラリ=フォルティのパラドックスのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのブラリ=フォルティのパラドックス (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのパラドックス (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2024 GRAS Group, Inc.RSS