現代数学の系譜 カントル 超限集合論at MATH現代数学の系譜 カントル 超限集合論 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト1066:132人目の素数さん 19/12/21 09:37:00.88 RiKZpZyq.net >>982 ・・・もしかしてホモセクシュアル? ま、いいけど 人それぞれだから 1067:132人目の素数さん 19/12/21 09:43:25.28 uGB58l1z.net >>984 アジアン男性には ♂ピクリともした事無いんで 安心して下さい♪ 1069:132人目の素数さん 19/12/21 10:00:27.93 RiKZpZyq.net >>985 をを・・・ 1070:現代数学の系譜 雑談 19/12/21 10:15:30.15 AVt64yFu.net >>969 >この時点でZermelo構成でのΩがシングルトンだと主張する根拠は無くなった 話は、全く逆 Ωがシングルトンであっては行けないと主張する根拠は無いんじゃね? だったら、選択肢は2つAとB A.Ω=N B.Ω=シングルトンの可算無限版で最小のもの この後は、Zermelo構成の後者関数を適用して ω、ω+1:={ω}、ω+2:={{ω}}、・・ と続いていく この話は、Zermelo構成以外の後者関数でも同じだ ある適当な後者関数 suc(a) が定義できて それが、超限順序数に対しても適用できるならば つまり ω、ω+1:=suc{ω}、ω+2:=suc{ω+1}・・ と続けられるならば ωについても、後者関数の性質を継承したものとして 例えば、極限を使うとかで ω:=lim n→∞ suc{n} と定義すれば良い これは、公理的な順序数の構成から、外れているかも知れないが いろんな後者関数による順序数の構成例としては、ありでしょ (数学的に、正則性公理などに反するとか、矛盾を生じるとか無ければ) (先にも書いたが、極限を使ってωを定義すると循環論法になりかねないが、極限が定義された後でならありだろう) 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch