Comment by enugu

Defining the set of real numbers is very different from defining all real numbers. Yes, Chaitin's constant is defined(with a computable system as a parameter).

But that's the point - we cant produce such a definition for almost all reals.