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

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