Если доказательство начинается с аксиомов, различает несколько случаев и занимает тринадцать строк в учебнике ... это может дать молодым людям впечатление, что математика состоит в том, чтобы доказать наиболее очевидные вещи наименее очевидным способом.
Поваренная книга дает подробное описание ингредиентов и процедур, но никаких доказательств его рецептов или причин его рецептов; Доказательство пудинга в еде. ... математика не может быть проверена точно так же, как и пудинг; Если все виды рассуждений развернуты, курс исчисления может легко стать бессвязным инвентаризацией неперевариваемой информации.
В «Комментарии» (примечание, представленное Российской академии), в которой его теорема о Полиграде (по количеству лиц, краев и вершин) была впервые опубликована, Эйлер не дает доказательств. Вместо доказательства он предлагает индуктивный аргумент: он проверяет отношение в различных особых случаях. Нет никаких сомнений в том, что он также обнаружил теорему, как многие другие его результаты, индуктивно.
