An argument often given for adopting the Axiom of Choice as an axiom is that it has a lot of obviously true consequences. This looks like a legitimate application of the practice of Inference to the ...