For example, the name 'Gödel' might be taken to mean 'the man who proved the incompleteness of arithmetic'; but even if Gödel had been a fraud, who had proved nothing at all and had misappropriated his work from an unknown named 'Schmidt,' our term 'Gödel' would refer to the fraud, not to the man who really satisfied the definite description.