Om du ställer en bra fråga får du ett bra svar

Задашь хороший вопрос – получишь хороший ответ
(шведская пословица)

ВОПРОС:

Во время прочтения пункта "Теория Моделей" есть полное непонимание теорем Мальцева и Лёвенгейма - Скулема. Что нужно знать, чтобы хотя бы немного понять их суть?

ОТВЕТ:   

Знать математические предикатные логики )
Но такой задачи перед вами не стоит ))
Вам нужно знать, что:

• существует теория моделей, изучающая на высоком уровне абстракции связи между синтаксисом (формальным языком) и семантикой (математической моделью, допускающей некоторое описание этим языком)

• теоремы теории моделей применяются для конструирования новых моделей (теорий = научных нарративов = рационализированных мифов), прежде всего математических

И подумать о применимости всего этого к неформальным ("естественным") языкам
Возможно ли? Как? Когда? Где? Зачем? Каких чудес ждать?
Пример: Не нужно понимать технологии полётов к Луне, чтобы оценить открываемые этими полётами перспективными?