Мир математической логики: Основные понятия и элементы