The axiom of choice and the law of excluded middle in weak set theories