Re: A simple question?

Proginoskes wrote:
What is this well-ordering of the reals, then?

In ZFC, there exists at least one well ordering of the set of real
numbers. We can use existential instantiation to "talk about" such a
well ordering. But, we don't have a way to describe a particular well
ordering of the set of real numbers, thus we have no way to define a
0-place function symbol to stand for a particular well ordering of the
set of real numbers.

MoeBlee

.