However , the definition refers to definability - in - English itself .
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 .
The definition refers to definability - in - English itself .
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 .