model theory

English

Noun

model theory (uncountable)

  1. (mathematics) The study of the relationship between formal theories and their models.