出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 15:57 UTC 版)
「パラドックス」の記事における「スコーレムのパラドックス」の解説
下降型レーヴェンハイム-スコーレムの定理によると、ZF 集合論も可算モデルを持つことになるが、ZF 集合論の中には非可算集合が存在する。このことは一見不合理のように見えるので、スコーレムのパラドックスと呼ばれる。これは、形式体系内での集合概念と、メタ理論内の集合概念の違いをはっきり認識していないと不可解に見えるというに過ぎない。
※この「スコーレムのパラドックス」の解説は、「パラドックス」の解説の一部です。
「スコーレムのパラドックス」を含む「パラドックス」の記事については、「パラドックス」の概要を参照ください。
辞書ショートカット
カテゴリ一覧
すべての辞書の索引
| スコーレムのパラドックスのお隣キーワード |
スコーレムのパラドックスのページの著作権
Weblio 辞書
情報提供元は
参加元一覧
にて確認できます。
|
Text is available under GNU Free Documentation License (GFDL). Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのパラドックス (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 |
ビジネス｜業界用語｜コンピュータ｜電車｜自動車・バイク｜船｜工学｜建築・不動産｜学問
文化｜生活｜ヘルスケア｜趣味｜スポーツ｜生物｜食品｜人名｜方言｜辞書・百科事典
|
ご利用にあたって
|
便利な機能
|
お問合せ・ご要望
|
会社概要
|
ウェブリオのサービス
|
©2025 GRAS Group, Inc.RSS
