Skip to main content
Post Made Community Wiki
Source Link
Tilman
  • 6.2k
  • 4
  • 30
  • 49

I don't think one should try to determine whether to accept or reject the axiom of choice or any other independent axiom by appealing to "believability" of some consequences of it. With infinite sets, our intuition is just too often misleading. We get used to certain "paradoxa" like Hilbert's hotel because we see them very early in our mathematical life, but nobody should ever claim that he has a complete intuition for set theory.

As for the example, $\bar{\mathbf{Q}}_p$ and $\mathbf{C}$ are isomorphic if the axiom of choice is true, and that's that. Both are constructed using a completion, which makes them topological fields, and they are not homeomorphic or normed isomorphic, that's probably why it feels a bit wrong to some of us.