According to Gödel, Escher, Bach: An Eternal Golden Braid, an axiom is a 'free' theorem used at the beginning of a formal system.
For example, in an exam situation, one might be given an axiom (cheese is good) and asked to derive the proof that ice-cream is good.