Hylemorphism within a new formal framework

In Aristotle's philosophy the term form has multiple meanings. The object of the present analysis is the notion of form in its static meaning. The term form in this meaning appears in two syntactically different propositional phrases: (1) x is a form of a, where a is a proper name or a common name and (2) x is a form of y, where is a form is a relative expression. A conversion of x is a form of y is y is a matter of x. The term matter from the equivalent of phrase (2) is treated here as logically primal and characterised axiomatically (B1-B4). These axioms are an interpretation of Frege's predication scheme (with specific axioms A1-A4). Our base system is elementary ontology. The term form which appears in phrase (1) is a functor in the substantial meaning. The theory of hylemorphism (HM) proposed here can be extended to include the postulate of singularity or non-singularity of the substantial form. The functor of form (F) in the abstract sense is introduced by definition. The expression xεFa is a formal equivalent of phrase (1). The special cases of form in this sense, which are defined, are individual form and species form.