Axiomatic System Definition