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

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

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

417(1): 2024/06/17(月)20:26 ID:hrQkMfbM(21/26) AAS
>>416
どこに選択公理が関係してるの？

419(2): 2024/06/17(月)20:27 ID:wAydTPyr(20/23) AAS
>>417
無限列から自分が属する尻尾同値類の代表が取れる
というのが選択公理からの帰結