Here is an example where the question of whether the two countings are the same is independent of the axioms of set theory.
Namely, if the Continuum Hypothesis holds, then the number of real numbers is the same as the number of countable ordinals. But if CH fails, then it is not.
