I'm not sure I see why the axioms were not also discovered though? Choice between irreducible assumptions does not seem to make them any more 'invented'.
Without entering into an endless debate about semantics and metaphysics I would simply say that if you want to use the word discovered for the axioms then you must acknowledge that the theorems are not the same kind of discovered.