[過去ログ] スレタイ 箱入り無数目を語る部屋3 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
86(1): 2022/08/27(土)15:26 ID:7YqURDwF(3/4) AAS
>>85
そうですね。決定番号は「存在する」という意味で定まっている。
が、それだけでは「知る」ことはできない。
だから、「代表系の中身を知ることができる」
という選択公理を超える仮定が必要。
87(1): 2022/08/27(土)15:49 ID:W1i1kXFy(4/6) AAS
>>86
>が、それだけでは「知る」ことはできない。
「知る」の主語は何?我々なら知る必要は無い。
ある決定番号の組 d1,d2 が存在するとき、d1>d2, d1=d2, d1<d2 のうちどれか一つに定まる。すなわち最大決定番号が定まる。
我々はどう定まるのか知らないし知らなくてもよい。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.039s