Заключение к разделу "математическая логика"