Скачать или смотреть 【数学基礎論入門】群論なども扱えるようにする回【モデル理論】

(訂正) 11:15 基本公理の(4)は、yとしてL-項も取れるように変更します

ーーーーーーーーーーーーーーーー
群論なども扱えるように論理式の定義を一般化します。

■PDFで証明を読みたい人は↓からDL
https://alg-d.com/math/ac/

ーーーーーーーーーーーーーーーー
■動画の途中で登場する動画
数学基礎論(数理論理学)入門
   • 数学基礎論(数理論理学)入門【選択公理】  
ZFCと形式的証明を定義する
   • 【数学基礎論入門】ZFCと形式的証明を定義する  
ZF で ∃y∀x(x∉y) を証明する
   • 【数学基礎論入門】ZF で ∃y∀x(x∉y) を証明する【形式的証明】  
選択公理の独立性 part 1: 初心者向け説明
   • 選択公理の独立性 part 1: 初心者向け説明  

ーーーーーーーーーーーーーーーー
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

↓チャプター用
00:00 はじめに
01:11 言語
04:55 L-項
08:45 L-論理式
10:41 L-公理系
11:14 基本公理
12:22 この動画の目標
13:07 L-構造
15:22 L(M)
16:25 閉項の解釈
21:56 論理式の解釈
24:38 モデル
26:39 健全性定理・完全性定理
28:15 例