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

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋3 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

816(1): 2022/10/18(火)12:59 ID:21DTagbB(1/2) AAS
同値類、選択公理が分からん馬鹿に箱入り無数目は無理

825(1): 2022/10/18(火)19:48 ID:21DTagbB(2/2) AAS
>>817
選択公理と同値類が分かっていれば
「任意の実数列の決定番号は自然数」
も分かる。
分かってないのはおまえ