Логика и математика: понятие выведения