Similarly, someone can use 'the man who proved the incompleteness of arithmetic,' as a referential definite description, to refer to Gödel; it might be so used, for example, by someone who had forgotten his name.