現代数学の系譜　カントル　超限集合論

現代数学の系譜　カントル　超限集合論at MATH

現代数学の系譜　カントル　超限集合論 - 暇つぶし2ch538:が存在する。見かけ上のパラドックスとして、遺伝的有限集合の非標準モデルは無限集合を含んでいるが、それら無限集合はそのモデル内では有限に見える（これは、それら集合の無限性を証明するのに必要な集合や関数をモデルが持たない場合に生じる）。不完全性定理があるため、一階述語論理やその再帰的適用では、そのようなモデルすべての標準部分を特徴付けることができない。従って、一階述語論理の観点からは、有限性をおおよそ特徴付けることしか望めない。興味深いことに、ZFCにおいて有限集合を集合全般から区別する様々な特性は、より弱い体系であるZFや直観主義的集合論の場合とは論理的に等価ではないことが判っている。よく知られている有限性の定義として、リヒャルト・デーデキントの定義とカジミェシュ・クラトフスキの定義がある。つづく

次ページ

続きを表示

1を表示