Still, "axiom of choice is a theorem in intuitionistic logic" is absolutely true whether or not you accept intuitionistic logic.