उन्होंने एक लंबे विस्तृत तर्क के माध्यम से जाना कि कैसे गोडेल ने रसेल और व्हाइटहेड प्रिंसिपिया मैथेमेटिका में स्व-संदर्भ के इस विचार की खोज की, और इस तथ्य के बावजूद कि रसेल और व्हाइटहेड सब कुछ औपचारिक करने के लिए बाहर गए थे, और वे स्वयं को रेफरल रखना चाहते थे।