इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें प्राकृतिक कटौती हिल्बर्ट, फ्रेज और रसेल की प्रणालियों के लिए सामान्य वाक्य axiomatizations के साथ असंतोष के एक संदर्भ से बाहर बढ़ी।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "हिल्बर्ट, फ्रेज और रसेल की प्रणालियों के लिए सामान्य वाक्य axiomatizations के साथ असंतोष के एक संदर्भ से प्राकृतिक कटौती बढ़ी, सबसे प्रसिद्ध रसेल और व्हाइटहेड द्वारा उनके गणितीय ग्रंथ 'प्रिंसिपिया मैथेमेटिका' में इस्तेमाल किया। "