[leni536]

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