>>578
>要するに、「モデルを１つ特定する」とか気安くいうけど、人間には無理ってことね

話が すべっている気がする
なんらかの意味で、議論しているモデルを固定しないと
そのモデルについての議論はできないだろう・・

(google検索)
モデル理論とは？

AI による概要
モデル理論とは、形式言語や論理体系と、その「意味」や「構造（モデル）」との関係を研究する数学の分野です。また、より広義には、対象の複雑さを単純化・抽象化して捉えるために、モデル（模型）を設定し、それを解析して理解しようとする手法や考え方を指します。
数学におけるモデル理論
対象: 群、体、グラフなどの数学的構造や、集合論の宇宙など。
手法: 数理論理学の手法を用いて、形式言語の文がモデル（構造）で成り立つかどうかを研究します。
目的: 様々な数学的構造（モデル）を分類・比較したり、特定の公理系が持つ性質を調べたりします。

モデル理論
Wikipedia
https://ja.wikipedia.org › wiki › モデル理論
モデル理論（もでるりろん、英 : Model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ、集合論の宇宙）を研究（分類）する数学の分野である。 .

モデル理論
Kobe University
http://www2.kobe-u.ac.jp › ~kikyo › lectures
PDF
2011/08/29 — モデル理論を展開するためには，言語と構造の概念をより正確に. 定義する必要がある． Page 6. 数学基礎論サマースクール. 言語と構造. 言語のイメージ.
125 ページ

モデル理論とその周辺
J-Stage
https://www.jstage.jst.go.jp › Autumn-Meeting1 › _pdf
坪井明人 著 · 2008 — モデル理論は,数 理論理学あるいは数学基礎論 とよばれる分野のなか の一つである. 大 ざっぱに言えば,数 学的構造の一般論である. 興 味を 持っている数学的構造を直接に ...