Тео́рия моде́лей, раздел математики, возникший при применении методов математической логики в алгебре. Во 2-й половине 20 в. теория моделей оформилась в самостоятельную дисциплину, методы и результаты которой находят применение как в алгебре, так и в других разделах математики. Основные понятия теории моделей – понятия алгебраической системы, формализованного языка, истинности высказывания рассматриваемого языка в данной алгебраической системе. Примером алгебраической системы является система натуральных чисел вместе с операциями сложения и умножения, отношением порядка и выделенными элементами , .
Аннотация