Гм, но ведь в этом и есть функция философии, не так ли? Придавать смысл деятельности. Или ты считаешь, в математике есть какой-то внутренний смысл?

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

Тут философ и говорит им: послушайте, теоремы не закончатся никогда, поэтому оставьте свои тщетные потуги. Или говорит им: послушайте, теоремы не закончатся никогда, поэтому наслаждайтесь процессом бесконечно.

> Не формальной системы (она не принципиальна), а научного метода.

А что есть в математике, не относящееся к формальным системам? И что ты понимаешь под научным методом здесь? Повторяемость?