モデル理論
数理論理学において、数学的構造（構造）を研究する分野
意味論の対応付け
table:comparison
数理論理学 証明論 モデル理論
プログラム意味論 操作的意味論 表示的意味論
ref. https://ja.wikipedia.org/wiki/モデル理論