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