Axiomatic System Model