Do you prefer the Dedekind cut construction of the real numbers over the identification of Cauchy sequences of rational numbers with common limit? In ZFC, they coincide, but in constructive mathematics, one can build a model wherein they differ (see https://mathoverflow.net/questions/128569/a-model-where-dede... ).
