「クレパ木」を解説文に含む見出し語の検索結果(1~6/6件中)
ナビゲーションに移動検索に移動集合論において、クレパ木とは高さ ω 1 {\displaystyle \omega _{1}} の木(T, <)であって、全ての水準 (Leve...
ナビゲーションに移動検索に移動集合論において、クレパ木とは高さ ω 1 {\displaystyle \omega _{1}} の木(T, <)であって、全ての水準 (Leve...
ナビゲーションに移動検索に移動ジューロ・クレパ生誕 (1907-08-16) 1907年8月16日 オーストリア=ハンガリー帝国 Majske Poljane死没 (1993-11-02) 1993年...
ナビゲーションに移動検索に移動ジューロ・クレパ生誕 (1907-08-16) 1907年8月16日 オーストリア=ハンガリー帝国 Majske Poljane死没 (1993-11-02) 1993年...
平行線公準 (P) は残りのヒルベルトの公理 (R) から独立である: モデル (1) は R と P 両方をみたすが、モデル (2,3) は R をみたすが P をみたさない。数理論理学において、独...
本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は(ZFCが無矛盾であれば)ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無...
< 前の結果 | 次の結果 >
>>
「クレパ木」の辞書の解説