1=0.999… その13.999…at MATH1=0.999… その13.999… - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト350:１３２人目の素数さん 06/12/09 18:22:50 ただどう定義してもＱで0.999……=1が証明されたときに、 0.999……≠1が証明されないことは証明できないはず。 なぜならばＱではＮが定義できるので、自然数論を含む体系になるから。 もし0.999……≠1が証明されればＱが矛盾していることになり、 エライことになってしまう。 ということをＱ４は言っているのでは？ 351:１３２人目の素数さん 06/12/09 18:25:55 後半死んでるな。 もし0.999……≠1が証明されないことが証明されれば 無矛盾であることが証明できたことになり、Ｑが矛盾している ことになり、エライことになる。 だな。 352:１３２人目の素数さん 06/12/09 19:35:30 そもそも前提条件が違う証明同士だったらそんな余計な文面要らないんじゃないの？ 353:１３２人目の素数さん 06/12/10 02:04:21 >>352でおｋ。 別個の公理系。 354:１３２人目の素数さん 06/12/10 04:04:05 当たり前と言えばそうだが、「前提を定めれば論理的にどちらかが正しいと証明できるはず」 という人もいる。それは厳密には無理と言うことで書いてあるのだと思う。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch