an axiom is part of a theory