Изменения
→Гипотеза Мартина Дэвиса
*множество всех составных чисел, представлено уравнением <tex>a-(x_1+2)(x_2+2)=0</tex>;
*множество всех нестепеней числа <tex>2</tex>, представлено уравнеием <tex>a-(2x_1+3)x_2=0</tex>.
Для доказательства неразрешимости десятой проблемы Гильберта нужно было лишь показать диофантовость любого перечислимого множества,
то есть нужно показать возможность построения уравнения, которое имело бы натуральные корни <tex>x_1,x_2,..., x_n</tex> только при всех <tex>\left \langle a_1, a_2, ..., a_m\right \rangle</tex>, принадлежащих этому перечислимому множеству.
