> 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 whi

> 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.