इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें हालांकि, यह एक शक्तिशाली और सामान्य तकनीक का प्रदर्शन करता है जिसे तब से कई प्रकार के प्रमाणों में उपयोग किया गया है, जिसे इस प्रमाण में उपयोग किए गए तर्क के अनुरूप विकर्ण तर्क के रूप में भी जाना जाता है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "हालांकि, यह एक शक्तिशाली और सामान्य तकनीक का प्रदर्शन करता है जो तब से रसेल के विरोधाभास, गोडेल के अपूर्णता प्रमेय के पहले, और ट्यूरिंग के जवाब के लिए सबूत की एक विस्तृत श्रृंखला में इस्तेमाल किया गया है'Entscheidungsproblem '".