[czgnome]

Theorem. 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?

[yorwba]

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.

[czgnome]

If two things are set theoretically indistinguishable then one can’t say “pick one and call it i and the other one -i”. The two sets are the same according to the background set theory.