Components of Axiomatic System