[過去ログ] スレタイ 箱入り無数目を語る部屋20 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
797: 2024/08/13(火)11:22 ID:6meupuVH(1/4) AAS
>>787
>もし、君にその力(任意同値類における選択関数を各ひとつ具体的に定める)
>があるというならば
>数列R^Nの 各しっぽ同値類における選択関数を 具体的に ひとつ定めてください
具体的である必要はまったく無い。
なぜなら、選択関数が(どのようなものであれ)存在さえすれば出題列を一つ固定したとき100列の決定番号はいずれも自然数の定数であるから「他のいずれより大きい決定番号はたかだか一つ」が成立するから。

逆に、選択関数を具体的に定められるならそもそも選択公理は必要無い。
省1
806: 2024/08/13(火)18:14 ID:6meupuVH(2/4) AAS
ヤマドリってまったく面白くないな
頭悪そう
808
(1): 2024/08/13(火)18:31 ID:6meupuVH(3/4) AAS
ほらね まったく面白くない
811: 2024/08/13(火)18:42 ID:6meupuVH(4/4) AAS
つまんねーなヤマドリ 失せてくんない?
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.039s