model theory

Etymology

model + theory の複合語。公理を満たす構造の研究。

Model

公理が成り立つ構造。ラテン語 modulus に由来。

Theory

知識の体系。ギリシャ θεωρία (theōria) に由来。

Origin

Tarski、Robinson。20世紀中頃。

Meaning

与えられた公理を満たす数学的構造の研究。

Earliest use

Tarski 1930年代；Robinson 1950年代。

Definition

与えられた公理を満たす数学的構造の研究。理論のモデルとは、その公理がすべて成り立つ構造。構文（公理）と意味（解釈）を結ぶ。