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