[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）15 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
403(1): 赤ペン先生（出張） 2023/08/14(月)20:54 ID:TEAbS3yH(18/28) AAS
>>396
Gabay-O'Connorの定理は核心だよ
通常の無限族の任意有限部分の「弱い独立性」ではなく
時枝氏の言う無限族の「強い独立性」を採用した場合
Gabay-O'connorの定理、そして選択公理を否定することになる
ただHardinとTaylorによればGabay-O'Connorの定理の否定は
（選択公理以外）集合論の他の公理とは矛盾しないらしい
このことはPeter Winklerの本にも書かれていることを確認した
つまり１とそのパトロン氏が本気で「勝てっこない！」と言い張るなら
選択公理を否定すればいいし、そのことで数学として矛盾することもない
省1
412(1): 2023/08/14(月)21:16 ID:mnmHCoOF(7/26) AAS
>>403
>>Gabay-O'Connorの定理は核心だよ
これ自体はぜんぜん変な定理ではない
変なのはこじつけ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s