Davis proved that there is no algorithm to test a given Diophantine equation to determine whether the number of its solutions is a member of the set C {\displaystyle C} .
دیویس ثابت کرد که هیچ الگورتیمی برای آزمایش یک معادله دیوفانتی داده شده جهت مشخص کردن اینکه آیا تعداد پاسخ‌های آن عضو مجموعه C {\displaystyle C} هستند یا خیر وجود ندارد.