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