ttps://ja.wikipedia.org/wiki/モデル理論 >モデル理論(英語: model theory)は、数理論理学による手法を用いて数学的構造 >例えば、群、体、グラフ:集合論の宇宙)を研究(分類)する数学の分野である。
ttps://en.wikipedia.org/wiki/Model_theory >In mathematics, model theory is the study of classes of mathematical structures >(e.g. groups, fields, graphs, universes of set theory) from the perspective of mathematical logic.