Houjun Liu

real number

\(\mathbb{R}\) real numbers are numbers generatable by a possibly infinite sum of powers of 10.