The number of finite sets of words is countable. So they can not specifically define each real number since there are uncountably many of them
one can define the reals from the rationals using the idea of Dedekind cuts. This require no other ideas than the euclidean metric on the rationals. I am not sure how ones extends the arithmetic to these without notions of Cauchy sequence. Maybe it is not possible.