Без заголовка
Всегда думал о математике как о языке, а о языке как инструменте, используемом для решения прикладных (в пределе) задач. Поэтому не совсем понятно, что понимать под онтологией инструмента (ов). Другими словами математика - это framework, но framework и есть набор онтологий. Я чего-то не впиливаю?