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