An axiom is part of a theory