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