高校～大学学部レベル質問スレat MATH高校～大学学部レベル質問スレ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1015:１３２人目の素数さん 16/06/07 20:55:30.48 M0ITkbib.net ある条件を満たすものが存在する（もしくは、ある集合が空でない）という仮定の下で その条件を満たすもの（その集合の元）をaと表して、aに関して議論する これは数学の証明で当たり前に行われている推論方法の一つ ただし、証明はこのような推論の有限回の積み重ねでなければならない 無限に長い証明というものは認めない 件の点列の議論をそのまま読むと 「ある条件を満たすものをa_1と表す」 「別のある条件を満たすものをa_2と表す」 「そのまた別のある条件を満たすものをa_3と表す」 … というように無限回の推論を行っていることになり、このままでは証明として正当化できない そこで、この種の議論を正当化するために 「空でない集合からなる集合族(A_i)があるとき、各集合A_iから元を一斉に選び出す写像fの存在を保証する つまりf(A_i) = a_i ∈ A_i」 という選択公理を認めることにより、件の点列の議論を疑似的に正当化する 1016:１３２人目の素数さん 16/06/07 21:31:45.89 BSGTwmRQ.net ところで、無限推論を認めると矛盾する例ってあったかな？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch