La teoría de modelos finitos es la parte de la teoría de modelos más cercanas al álgebra universal.