Предикатные формулы 1–го порядка. Интерпретации, модели. Скулемовская нормальная форма. Эрбрановский универсум, эрбрановская интерпретация. Алгоритмическая неразрешимость исчисления предикатов. Теории и модели. 1–я Теорема Геделя о неполноте.