Методы выведения следствий в математике: теории и примеры