[dorgo]

What about PI? We can represent it in terms of "we know what we are talking about" and we can distinguish it from other numbers.

[leni536]

You can only have countable number of first or second order logic statements each defining a specific real number.