The proposed definition of the new real number r clearly includes a finite sequence of characters , and .
It seems at first to be a definition of a real number .
The proposed definition of the new real number r clearly includes a finite sequence of characters , and hence it seems at first to be a definition of a real number .