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