model theory
English
Noun
model
theory
(
uncountable
)
(
mathematics
)
The study of the
relationship
between
formal
theories
and their
models
.