axioms asserion