Postulates: Axiomatic Structure of a Mathematical System