[Introduction to Mathematical Foundations] A lesson to help you handle group theory and other top... скачать в хорошем качестве

[Introduction to Mathematical Foundations] A lesson to help you handle group theory and other top...

We will generalize the definition of logical expressions so that we can handle group theory, etc. ■If you want to read the proof in PDF, download it from below https://alg-d.com/math/ac/ ------------ ■Videos that appear in the middle of the video Introduction to mathematical foundations (mathematical logic)    • 数学基礎論(数理論理学)入門【選択公理】   Defining ZFC and formal proofs    • 【数学基礎論入門】ZFCと形式的証明を定義する   Proving ∃y∀x(x∉y) in ZF    • 【数学基礎論入門】ZF で ∃y∀x(x∉y) を証明する【形式的証明】   Independence of the axiom of choice part 1: Explanation for beginners    • 選択公理の独立性 part 1: 初心者向け説明   --- I made a discord for the alg-d channel, so please join if you'd like (anyone can join)   / discord   *If you are a member, please link your discord account with your youtube account to view the dedicated channel. (This is a collection of member benefits that have been available in communities, etc.) --- ■ Marshmallow (send anything) https://marshmallow-qa.com/79m5047j5u... --- I'm alg-d, a Vtuber, or V-alg-d for short. Twitter: https://x.com/alg_d V design etc: https://x.com/waheyhey ↓For chapters 00:00 Introduction 01:11 Language 04:55 L-term 08:45 L-logical formula 10:41 L-axiom system 11:14 Basic axioms 12:22 Goal of this video 13:07 L-structure 15:22 L(M) 16:25 Interpretation of closed terms 21:56 Interpretation of logical formulas 24:38 Model 26:39 Soundness theorem/completeness theorem 28:15 Example