Definition:Axiomatic System