[過去ログ] 現代数学の系譜 カントル 超限集合論2 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
879: 2020/06/08(月)16:34 ID:ZNiOPlY2(1/2) AAS
>>877
誤 勝つ戦略はありません!
正 勝つ戦略が理解できません!

選択公理が分んない人には無理だな
880: 2020/06/08(月)16:41 ID:ZNiOPlY2(2/2) AAS
>>878
(反例の非存在の証明)

「箱入り無数目」記事に従って、100列それぞれから1箱を選ぶ
このうち、代表元と一致しない箱はたかだか1箱である

なぜなら、自列の決定番号dが他の列の決定番号の最大値Dより
大きくなる列はたかだか1列しか存在しないからである

もしd>Dとなる列が2列以上あるとすると
di>dj かつ dj>diとなる
自然数di,djが存在することになるが
これは自然数の全体が全順序集合であることと矛盾する

馬鹿は、自然数が全順序集合でないといいたいようだwww
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 0.033s