model theory en · NOUN Meanings (uncountable) The study of the relationship between formal theories and their models.