الجملة الأولى: مشكلة التحقق من إن كانت كتلة متعددة معينة هي كتلة متعددة الترتيبات على حقل كتلة متعددة ممكن حلها في الوقت الأخير. الجملة الثانية: مشكلة اختبار إذا ما كان تعدد متعدد معين على حقل تعدد متعدد هو تعدد متعدد الترتيب يمكن حلها في وقت محدود. سؤال: هل الجملة 1 والجملة 2 بتعبر عن نفس المعنى؟ نعم ولا لا؟