Аннотация:
Рассматриваются базовые предпосылки для аксиоматизации и математизации строгой научной версии метафизики, продолжающей идеи Аристотеля в направлении разработки основ науки, логически объясняющей устройство окружающего мира, то есть доказывающей посредством логически обоснованных утверждений (аналогов математических теорем) наличие (или отсутствие) тех или иных его глобальных и (или) локальных физических и прочих свойств.
Ключевые слова:алгоритмы, общая формальная технология, общая теория систем, свойства объектов, функциональности объектов, аксиомы метафизики.