スレタイ箱入り無数目を語る部屋9

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋9 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

579(1): 2023/09/05(火)06:45 ID:rt417X6+(3/15) AAS
いわずもがなだが
☆は選択公理が必要だが、★はまったく必要ない
単に、同値な列がとれる、というだけだから

580: 2023/09/05(火)06:47 ID:rt417X6+(4/15) AAS
ID:7V4UZN4Y　は　>>578-579を理解できるまで読み返せ
理解できないうちは決して書き込むな　恥かくだけだぞ