Формирование математической логики