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