現代数学の系譜 カントル 超限集合論他 3at MATH現代数学の系譜 カントル 超限集合論他 3 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト583:１３２人目の素数さん 21/12/10 15:00:58.98 I0HYOg9d.net https://rio2016.5ch.net/test/read.cgi/math/1638933969/71 ＞無限シングルトンの定義：有限シングルトンの無限極限 ＞つまり、 ＞ ｎ重シングルトン： Sn：＝{・・{}・・} ＞無限重シングルトン： S∞：＝ lim n→∞ Sn ＞この定義は、自然数が構成される前には、できない ＞しかし、自然数が構成された後には、可能 ＞この極限の存在は、レーベンハイムスコーレムで保証される ＞https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86 全然ダメｗ そもそもレーベンハイム・スコーレムで云えるのは 超準自然数の存在であって、無限順序数の存在ではない 超準自然数が標準自然数より大きいのは確かだが 超準自然数を集合論の標準モデルにおけるωと直接比較するなんてことはできない なぜなら標準モデルのω、すなわちいかなる標準自然数より大きい最小の数 は超準自然数としては実現し得ない なぜならいかなる超準自然数も直前の超準自然数が存在するから最小たりえない （なお、標準／超準の区別は自然数論の中ではできないので 超準自然数重シングルトンが基礎の公理に反するとは証明できない） そういう意味では 無限重シングルトン： S∞：＝ lim n→∞ Sn を 任意の標準自然数nに対するSnを図形として包含する最小の図形 として定義する限り、レーベンハイム・スコーレムでは正当化できない まったく見当違いでトンチンカンなド素人の初歩的誤りｗ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch