現代数学の系譜 カントル 超限集合論他 3at MATH現代数学の系譜 カントル 超限集合論他 3 - 暇つぶし2ch305:(ノ∀`)アチャー 21/11/05 16:53:27.89 j5fczyhM.net高校生でも知っといてバチあたらない話 数学的帰納法 P(0)∧∀m.P(m)⇒P(s(m))⇒∀n.P(n) (0でPが成立し、任意のmについて、mでPが成立するならs(m)でもPが成立するとき 任意のnでPが成りたつ) の対偶は ∃n.¬P(n)⇒¬P(0)∨∃m.(P(m)∧¬P(s(m)) (Pが成立しないnが存在する場合、0でPが成立しないか、 あるmが存在し、mではPが成立するがs(m)ではPが成立しない) 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch