Axiomatic System Definition Geometry