क्षमा करें, यदि इस प्रश्न का कुछ तुच्छ उत्तर है जो मुझे याद आ रहा है। जब भी मैं कुछ ऐसी समस्या का अध्ययन करता हूं जो कि अनिर्दिष्ट साबित हुई है, तो मैं देखता हूं कि प्रमाण एक अन्य समस्या को कम करने पर निर्भर करता है जो कि अनिर्दिष्ट साबित हुई है। मैं समझता हूं कि यह किसी समस्या की कठिनाई की डिग्री पर किसी प्रकार का आदेश बनाता है। लेकिन मेरा सवाल यह है - क्या यह साबित हो गया है कि सभी समस्याएं जो कि अनिर्दिष्ट हैं, उन्हें एक और समस्या के लिए कम किया जा सकता है जो कि अनिर्दिष्ट है। क्या यह संभव नहीं है कि एक अनिर्णायक समस्या मौजूद हो, जो किसी अन्य अनिर्दिष्ट समस्या को कम करने के लिए साबित नहीं हो सकती है (इसलिए ऐसी समस्या की अनिर्वायता साबित करने के लिए, कोई कटौती का उपयोग नहीं कर सकता है)। यदि हम कम्प्यूटेशन की डिग्री पर ऑर्डर बनाने के लिए कटौती का उपयोग करते हैं तो इस समस्या को ऐसी डिग्री नहीं दी जा सकती है।