Это полная чепуха, человек знает, что интеграл это площадь, и каждый дурак может сообразить как приблизить площадь без формального определения интеграла Римана. И в слайдах это есть. Нормальным людям нужно научитьса вычислять площадь, а не доказывать, что она существует.
Мне это уже начинает надоедать. Ваша аналогия с аксиомами Пеано никуда не годится. Тот факт, что Вы считаете эту аналогию убедительной, говорит лично для меня не в пользу остального, сказанного Вами.
Человек, не знающий аксиом Пеано, но знающий основные свойства сложения, может понять
доказательство теоремы любой сложности из элементарной теории чисел. И доказывать теоремы любой сложности, теоретически, тоже может. Аксиомы Пеано можно заменить свойствами сложения и умножения и про них вообще не говорить; есть некий набор самоочевидных свойств, приняв которые на веру, можно
строго вывести все остальное.
В случае с интегралом ни о какой
возможности строгих доказательств речь не идет. У студента, который только умеет вычислять интегралы и знает, что это площадь под графиком, никакой теоремы не получится, кроме совсем очевидных (типа интеграла суммы).
И уровень понимания совершенно разный. В случае с теорией чисел не понимающий всегда может спуститься на более низкий уровень, на котором свойства не вызывают сомнения ни у кого (типа коммутативности сложения). А в случае с интегралом спускаться некуда.