alt Hacker NewsTheorem. If ZFC is consistent, then there is a model of ZFC that has a definable complete ordered field ℝ with a definable algebraic closure ℂ, such that the two square roots of −1 in ℂ are set-theoretically indiscernible, even with ordinal parameters.
Haven’t thought it through so I’m quite possibly wrong but it seems to me this implies that in such a situation you can’t have a coordinate view. How can you have two indistinguishable views of something while being able to pick one view?
Mathematicians pick an arbitrary complex number by writing "Let c ∈ ℂ." There are an infinite number of possibilities, but it doesn't matter. They pick the imaginary unit by writing "Let i ∈ ℂ such that i² = −1." There are two possibilities, but it doesn't matter.