Properties of axiom systems