対角線論法っておかしくね？at MATH対角線論法っておかしくね？ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト150:１３２人目の素数さん 25/12/15 02:42:44.33 TeuzRGRK.net >>148 >>19 151:１３２人目の素数さん 25/12/18 19:34:55.53 S2/m0JNo.net 命題 152:１３２人目の素数さん 25/12/22 09:11:25.71 q/m5wBUM.net そのとき ある[0,1)の元xで、以下の性質を持つもの： xの小数第1位≠1番目の元の小数第1位 xの小数第2位≠2番目の元の小数第2位 xの小数第3位≠3番目の元の小数第3位 ・・・ が「選べる」。（しかしこのｘは附番された 区間[0,1)の実数のリストからは漏れている。 ので仮定に矛盾する） ーーー といったところで選択公理を使っている 疑いがある。 153:１３２人目の素数さん 25/12/22 11:21:26.82 cFa81PIQ.net その選択関数の定義域はなに？ 154:１３２人目の素数さん 25/12/30 10:48:49.84 1zxE3OdB.net 対角線論法があるのなら 底辺論法もあるのかな。 最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch