A teoria dos modelos de primeira ordem, também conhecida como teoria dos modelos clássicos, é um ramo da matemática que lida com as relações entre descrições em línguas de primeira ordem e as estruturas que satisfazem estas descrições. De um ponto de vista, esta é uma área vibrante da investigação matemática que traz métodos lógicos (em particular a teoria da definição) para suportar problemas profundos da matemática clássica. De outro ponto de vista, a teoria do modelo de primeira ordem é o paradigma para o resto da teoria dos modelos; é a área em que muitas das ideias mais amplas da teoria dos modelos foram trabalhadas pela primeira vez.