数学基礎論(数理論理学)入門【選択公理】

「選択公理なしには証明できない」ということを理解するための数学基礎論入門をやっていきます。 ↓数学基礎論再生リスト    • 数学基礎論（数理論理学）   ■PDFで証明を読みたい人は↓からDL https://alg-d.com/math/ac/ ーーーーーーーーーーーーーーーー ■動画の途中で登場する動画 全射に対して逆向きの単射が存在する    • 【未解決問題】全射に対して逆向きの単射が存在する【選択公理】   Hahn-Banachの定理の重要性    • 【選択公理】Hahn-Banachの定理の重要性   有限集合・無限集合の定義    • 有限集合・無限集合の定義【選択公理】   選択公理を認めない霊夢と魔理沙の異世界転生：無限ホテル編    • 選択公理を認めない霊夢と魔理沙の異世界転生：無限ホテル編【ゆっくり解説?】   選択公理の独立性    • 選択公理の独立性 part 1: 初心者向け説明      • 選択公理の独立性 part 2: Permutation Model      • 選択公理の独立性 part 3: Symmetric Model   選択公理を認めない霊夢と魔理沙の数学講座：Fermatの最終定理    • 選択公理を認めない霊夢と魔理沙の数学講座：Fermatの最終定理【ゆっくり解説】   ーーーーーーーーーーーーーーーー alg-dチャンネル用のdiscordを作ったので良かったらどうぞ(誰でも入れます)   / discord   ※メンバーシップの人は、discordのアカウントとyoutubeのアカウントを連携すると専用チャンネルが見れるので連携をお願いします。（今までコミュニティ等でやってたメンバー特典がまとまってます） ーーーーーーーーーーーーーーーー ■マシュマロ(なんでも送ってください) https://marshmallow-qa.com/79m5047j5u... ーーーーーーーーーーーーーーーー Vtuberのalg-d、略してV-alg-dです。 Twitter: https://x.com/alg_d Vのデザインとか: https://x.com/waheyhey ↓チャプター用 0:00 数学基礎論とは 1:58 選択公理 5:51 この動画の目標 6:40 形式的証明のざっくり説明 9:44 PDF版