「ZFCから独立な命題の一覧」を解説文に含む見出し語の検索結果(1～10/20件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/02 16:57 UTC 版)「ZFCから独立な命題の一覧」の記事における「巨大基数公理」の解説一般的に、巨大基数と呼...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/02 16:57 UTC 版)「ZFCから独立な命題の一覧」の記事における「一般の例」の解説ZFCの無矛盾性 - 19...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/22 10:57 UTC 版)「フビニの定理」の記事における「非可測函数に対してフビニの定理が成立しないこと」の解説上...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/08 15:26 UTC 版)「ツェルメロ＝フレンケル集合論」の記事における「独立性」の解説重要な命題の多くはZFCと...
数学における、ススリンの問題（ススリンのもんだい）とは1920年に発表されたミハイル・ヤコヴレヴィチ・ススリンの遺稿で提示された全順序集合に関する問題である[1]。この問題は標準的な公...
数学における、ススリンの問題（ススリンのもんだい）とは1920年に発表されたミハイル・ヤコヴレヴィチ・ススリンの遺稿で提示された全順序集合に関する問題である[1]。この問題は標準的な公...
平行線公準 (P) は残りのヒルベルトの公理 (R) から独立である: モデル (1) は R と P 両方をみたすが、モデル (2,3) は R をみたすが P をみたさない。数理論理学において、独...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
集合論において、ツェルメロ＝フレンケル集合論（英: Zermelo-Fraenkel set theory）とは、ラッセルのパラドックスなどのパラドックスのない集合論を定式化するために20世紀...
集合論において、ツェルメロ＝フレンケル集合論（英: Zermelo-Fraenkel set theory）とは、ラッセルのパラドックスなどのパラドックスのない集合論を定式化するために20世紀...
< 前の結果 | 次の結果 >