[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋9 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
578(2): 2023/09/05(火)06:43 ID:rt417X6+(2/15) AAS
「箱入り無数目」の要は
☆いかなる無限列のいかなる有限個の項を除いた全ての項の情報からでも
その尻尾同値類の同じ元が代表元として取得できる
というギャベイ・オコナーの定理
これがもし
★いかなる無限列のいかなる有限個の項を除いた全ての項の情報からでも
その尻尾同値類の”ある適当な元”が代表元として取得できる
（代表元は、除いた有限個の項によって変わってもよい）
省2
580: 2023/09/05(火)06:47 ID:rt417X6+(4/15) AAS
ID:7V4UZN4Y は >>578-579を理解できるまで読み返せ
理解できないうちは決して書き込むな 恥かくだけだぞ
598: 2023/09/05(火)09:33 ID:wKhs1kKP(4/8) AAS
>>578
そんなまやかしの化けの皮がはがれてしまったことに
気づいていないのは哀れ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.257s*