Properties of Axiomatic System