Вопрос по мотивам недавнего спора об "элементарной" и "глубокой" математике. Как отличить содержательную математическую теорему от бессодержательной? Конечно, нет формального критерия, ибо все теоремы есть тавтологии и эквивалентны друг другу. Но ведь есть же какие-то неформальные эвристики?