数学的帰納法って循環論法では？at MATH数学的帰納法って循環論法では？ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト154:１３２人目の素数さん 26/03/01 13:32:35.54 96XGFQZV.net ガキのセリフか もっと気の利いた返しをしろよｗ 155:１３２人目の素数さん 26/03/01 14:46:47.52 ZPSLWOqv.net はいまたつまらない 156:１３２人目の素数さん 26/03/01 17:04:00.22 GT7Jf9u0.net >>1 ちょっと違う この違いを 正しく認識出来るかどうかが大切 示したいのは ∀n P(n) 示すのは P(0)∧∀n (P(n)→P(n+1)) 157:１３２人目の素数さん 26/03/01 17:09:34.83 GT7Jf9u0.net >>5 それで示したのは ∀n (P(n)→P(n)) これはP(n)がなんでアレ真 158:１３２人目の素数さん 26/04/01 18:22:50.38 1p114+if.net 0）0は自然数である。 1）nが自然数ならn+1も自然数である。 2) 上記0）と1）だけから導かれるものだけが自然数である。 159:１３２人目の素数さん 26/04/01 21:00:53.91 8w9sJzF2.net 0+1+1+1+・・・の形で書けるものだけが自然数とな？ 160:１３２人目の素数さん 26/04/02 22:32:36.40 98U5x6hF.net 0)～2)により自然数と判断されるものは 0+1+1+・・・+1 の形で書ける標準自然数だけ。 一階のペアノ算術は超準モデルを持ち、超準自然数は任意の標準自然数より大きいのでその形で書けない。 一方、二階のペアノの公理や集合論で自然数全体の集合を構成した場合は上記のようなモデルの非範疇性を考える必要が無い。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch