इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें इसे सटीक बनाने के लिए, हालांकि, गोडेल को प्राकृतिक संख्याओं के रूप में कथनों, प्रमाणों और प्रमाणीकरण की अवधारणा को एन्कोड करने के लिए एक विधि का उत्पादन करने की आवश्यकता थी ।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "यह सटीक बनाने के लिए, हालांकि, गोडेल को कथन, प्रमाण और प्रमाण की अवधारणा को (प्राकृतिक संख्याओं के रूप में) एन्कोड करने के लिए एक विधि का उत्पादन करने की आवश्यकता थी; उन्होंने गोडेल नंबरिंग के रूप में जानी जाने वाली प्रक्रिया का उपयोग करके ऐसा किया। "