[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋7 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
402(1): 2023/05/21(日)20:53 ID:bq+56Klo(3/3) AAS
繰り返す
その３
＜箱が有限個の場合について＞
>>354より
1）箱が有限個の列の場合
2）箱が可算無限個の列の場合（時枝記事）
3）箱をアレフ２個にする場合（上記）
省19
405: 2023/05/22(月)06:19 ID:qAJHmigG(2/3) AAS
>>402
> その３
> ＜箱が有限個の場合について＞
考えても無駄
0以外の有限順序数（＝自然数）は後続順序数
つまり、自分より小さい順序数のなかに最大元がある
この場合、常に自分の尻尾が必ず取れるとはいえない
省23
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s