モデル(数学基礎論)
from 【数学基礎論入門】群論なども扱えるようにする回【モデル理論】 by alg-d
モデル(数学基礎論)
L: 言語(数学基礎論）
M: L-構造
$ \varphi = L(M)-閉論理式
$ M \vDash \varphi
https://gyazo.com/7864b20507f912c128abcf37d761cf2c
https://gyazo.com/abb13cca1fce4a87635faec9434c0061
https://gyazo.com/3b2ff446f34019d2e7c730ba899caa4d
https://gyazo.com/49c937b3e627737b22291950c05bff49
健全性定理
完全性定理
左は、形式的な文字列（論理式）の有限列が、特定の条件を満たすかという話
右は、論理式の意味を考えたらどうなるかという話