じっくり集合論解説06 - 帰納法を証明する(?)【ずんだもん解説】

本題は整列集合なパワーワードタイトルでスマソ。■概要・帰納法を疑う・整列集合・数学的帰納法の証明・超限帰納法・整列可能定理■YouTube版→ https://youtu.be/NWFsUanu_Q0 ※今さらですが、無限集合公理から帰納法が示せて、そこから自然数が整列集合であることが示せるような気がしてきました↓・M:={n∈N|P(n)}⊂N・帰納法の仮定より1∈M・帰納法の仮定よりn∈M⇒suc(n)∈M・無限集合公理よりN⊂M、すなわちM=N・ゆえに任意のn∈Nに対してP(n)■お借りしたもの【合成音声】・VIOCEVOX: ずんだもん・VOICEVOX: 四国めたん【立ち絵】・坂本アヒル様： ずんだもん、四国めたん【音声素材】・OtoLogic様( https://otologic.jp )・DOVA-SYNDROME様( https://dova-s.jp/ )・MusMus様( https://musmus.main.jp )・効果音ラボ様( https://soundeffect-lab.info/ )【画像素材】ニコニ・コモンズ様

http://www.nicovideo.jp/watch/sm43718494