Title: The formal modeling of engineering design information by means of an axiomatic system