Abstract:
The paper deals with basic prerequisites for axiomatic of rigorous scientific metaphysics, which continues Aristotle's ideas concerning science explaining furniture of the world. Such rigorous metaphysics could explain many global or local properties of various physical systems like proved mathematical theorems explain global and local properties of mathematical objects.
Keywords:algorithms, general formal technology, general system theory, object properties, object functionalities, axiomatic of metaphysics.