Без заголовка

Ну да, математика -- это набор онтологий и связанных с ними методов. Обращу ваше внимание, что математики не считают, что они развивают инструмент для чего-то. Они честно говорят, что пытаются развивать инструмент для чего-то, что появится когда-нибудь потом. Изобретают инструмент для решения задач, которые когда-нибудь появятся у человечества. Я же отвечаю, что инструмент для непонятно каких работ -- это не инструмент вовсе, а нужно делать именно инструменты. А все остальное -- да, так. Все вы правильно понимаете.