Let's suppose someone says that Godel is the man who proved the incompleteness of arithmetic, and this man is suitably well educated and is even able to give an iindependent account of the incompleteness theorem.