All axioms are theorems. Theorems, however, include not only axioms, but also sentences derivable from those axioms by means of inference rules. That is why the formal theory of a language system is the set of its axioms closed under logical consequence.