純粋・応用数学・数学隣接分野（含むガロア理論）13

純粋・応用数学・数学隣接分野（含むガロア理論）13at MATH

純粋・応用数学・数学隣接分野（含むガロア理論）13 - 暇つぶし2ch767:br> 歴史 1930年にゲーデルが可算集合の場合について証明した。非可算の場合については、Anatoly Maltsevが1936年に証明を与えた[1][2]。応用例・上方レーヴェンハイム-スコーレムの定理・国の数が無限である場合の四色定理[3] ・任意の順序集合が全順序に拡大できること [3] (引用終り)

次ページ

続きを表示

1を表示