If this is so, then assuming the del Schmidt story, the sentence 'G del proved the incompleteness theorem' is false, but 'G del used a diagonal argument in the proof' is (at least in some contexts) true, and the reference of the name 'G del' is ambiguous.