इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें प्रमाणीकरण की धारणा को गोडेल संख्याओं द्वारा भी निम्न तरीके से एन्कोड किया जा सकता है ।
निश्चित रूप से, वाक्य का एक अधिक जटिल संस्करण है "प्रमाण की धारणा को गोडेल संख्याओं द्वारा भी निम्न प्रकार से एन्कोड किया जा सकता हैः चूंकि एक प्रमाण उन कथनों की एक सूची है जो कुछ नियमों का पालन करते हैं, इसलिए एक प्रमाण की गोडेल संख्या को परिभाषित किया जा सकता है। "