Д. Пойа
Математическая индукция часто возникает как заключительный шаг или последняя фаза индуктивного исследования, и в этой последней фазе часто используются наводящие рассуждения, возникшие в предыдущих фазах [цит. по: 150, с. 15].