> along with the other axioms the the theory is derived from

Axioms are trivially provable in any system. Unless you mean prove them without using them, in which case you're actually talking about a system where they aren't axioms.