Р. Курант, Г. Роббинс

Дедукция, выраженная в адекватной математической форме, - необходимое основание индукции, которая дает нам новые обобщения и, следовательно, новые факты [314, с. 462].