[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
249(2): 2024/06/14(金)17:23 ID:7r1vwZVg(3/11) AAS
>>246の１~４がステートメント
４の証明
D<＝dとなる列が２列以上あるとすると
ｄ１＜ｄ２ かつ ｄ２＜ｄ１ となる自然数ｄ１，ｄ２が存在することが示せる
しかしながらこれは自然数の全順序に反するので そのような２数は存在しない
上下前次1-新書関写板覧索設栞歴
あと 753 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s