It's implicitly defined here by its decimal form:
0.101001000100001000001 . . .
The definition of this number is that the number of 0s after each 1 is given by the total previous number of 1s in the sequence. That's why it can't contain 2 despite being infinite and non-repeating.