1.6 Начало математической логики