Базовые понятия математической логики

Для начала определим основные термины математической логики, которые необходимы для работы над данной темой.