''Теорія моделей'' присвяченняприсвячена вивченню фундаментального зв'язку між [[синтаксис]]ом йта [[семантика|семантикойсемантикою]]. При цьому, першому в ній відповідає [[формальна мова]], а другому — модель — математична струкутраструктура, яка допускає деякий опис цією мовою. ''Теорія моделей'' виникла як узагальнення існуючих підходів рішень [[метаматематика|метаматематичних]] проблем, звпов'язанныхязаних зіз [[алгебра|алгеброю]] й [[математическая логика|математичною логікою]]. СіміСамі ці підходи існували давно, але при цьому довгий час не розглядались у всійсвоїйвсій своїй загальності, в рамках однієї науково-філосовськоїфілософської [[Парадигма (философия)|парадигми]]. Природним прикладом в цьому контексті, звязанимпов’язаним з [[пятый постулат Евклида|пятымп’ятим постулатом ЕвклидаЕвкліда]] про паралельну лінію. Сторіччями математикам не вдавалося довести його істинність, доки у [[XIX век]]й [[Бойяи, Янош|Бойяи]] й [[Лобачевский]] не збудували [[неевклидова геометрия|неевклидову геометрию]], показавши тим самим, що постулат паралельності не може бути не доведений, ні спростований. З точки зору ''теорії моделей'', це значить, що система аксіом без п'ятого постулату допускає декілька різних моделей, тобто в цьому випадку — декілька варіатів реалізації геометрії.
Таким чином, початкова ''теорія моделей'' виросла з таких розділів математики як [[математична логіка|логіка]], [[універсальна лагебра]], [[теорія множин]] в якості узагальнення і закріплення існуючих знань. Тому перші резальтати теорії моделей з'явились задовго після її «Офіційного» виникнення. Першим таким резальтатом прийнято рахувати<ref>''Кейслер Г., Чен Ч.'' Теория моделей. — М.: Мир, 1977. — с. 14.</ref> [[теорема Лёвенгейма — Сколема|теорему Лёвенгейма — Сколема]] ([[1915]]). Другим великим результатом стала [[теорема компактности]], доведена [[Гёдель, Курт|Гёделем]] ([[1930]]) й [[Мальцев, Анатолий Иванович|Мальцевым]] ([[1936]]).
