「一般連続体仮説」を解説文に含む見出し語の検索結果(21~30/56件中)
数学、特に集合論において、ベート数とはヘブライ文字 のב(ベート)を用いて ℶ 0 , ℶ 1 , ℶ 2 , ℶ 3 , … {...
平行線公準 (P) は残りのヒルベルトの公理 (R) から独立である: モデル (1) は R と P 両方をみたすが、モデル (2,3) は R をみたすが P をみたさない。数理論理学において、独...
クルト・ゲーデルKurt Gödel1925年撮影生誕 (1906-04-28) 1906年4月28日 オーストリア=ハンガリー帝国、ブリュン死没1978年1月14日(1978-01-14)(71歳没...
本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は(ZFCが無矛盾であれば)ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無...
カントールの対角線論法(カントールのたいかくせんろんぽう、英: Cantor's diagonal argument)は、数学における証明テクニック(背理法)の一つ。1891年にゲオルク・カン...
カントールの対角線論法(カントールのたいかくせんろんぽう、英: Cantor's diagonal argument)は、数学における証明テクニック(背理法)の一つ。1891年にゲオルク・カン...
カントールの対角線論法(カントールのたいかくせんろんぽう、英: Cantor's diagonal argument)は、数学における証明テクニック(背理法)の一つ。1891年にゲオルク・カン...
整列集合(せいれつしゅうごう、英: wellordered set)、または整列順序付けられた集合(せいれつじゅんじょづけられたしゅうごう)とは、数学における概念の1つで、整列順序...
整列集合(せいれつしゅうごう、英: wellordered set)、または整列順序付けられた集合(せいれつじゅんじょづけられたしゅうごう)とは、数学における概念の1つで、整列順序...
整列集合(せいれつしゅうごう、英: wellordered set)、または整列順序付けられた集合(せいれつじゅんじょづけられたしゅうごう)とは、数学における概念の1つで、整列順序...