इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें'' ~ G'के साथ मॉडल, हालांकि औपचारिक रूप से सुसंगत हैं, और सिद्धांत के भीतर सिर्फ w- असंगत हैं, समस्याग्रस्त हैं जब यह व्याख्या के रूप में आता है'' प्राकृतिक संख्याओं के मॉडल''।
बेशक, वाक्य का एक अधिक जटिल संस्करण है " '~ G' वाले मॉडल, हालांकि औपचारिक रूप से सुसंगत हैं, जब यह व्याख्या के रूप में 'प्राकृतिक संख्याओं के मॉडल' के रूप में आता है तो समस्याग्रस्त होते हैं - क्योंकि गोडेल वाक्य 'G' न केवल अनिश्चित है बल्कि प्राकृतिक संख्याओं के लिए भी सच है। "