>Это кривое переложение оригинала, вызванное журналистским стилем статьи

Вообще-то это цитата, она в кавычках написана. Так что возражение не принимается.
>А Степанов математик, и знает, о чем говорит. То же самое происходит в любой науке: сначала есть только опытные данные, потом из них путем индукции формируются гипотезы и теории, затем эти теории дают какие-то дополнительные предсказания, которые можно проверить и подтвердить (уже польза) или опровергнуть.

Здесь все верно, только надо уточнить: Сначала данные, потом гипотезы, потом доказательства, прогнозы, предсказания и т.д., потом выводы.
А теперь цитата Степанова:
>"Но реально никто не начинает с аксиом, все начинают с доказательств."

Уже не буду говорить, что аксиомы никто не доказывает, иначе бы они

>P.S. Да, кстати, постановка ТЗ не есть постановка гипотез, здесь неверная аналогия.

где у меня написано, что это аналогия?
>Вот у Степанова верная - построение классов.

Подозреваю, что у человека, занимающегося доказательствами аксиом все верно по определению, но с точностью до наоборот.