Изменения
Нет описания правки
|statement=Понятия диофантового и перечислимого множества совпадают. Это значит, что множество диофантово тогда и только тогда, когда оно перечислимо.
}}
Также Дэвис доказал, что любое перечислимое множество можно представить в виде, названном ''нормальной формой Дэвиса'':
<tex>\left \langle a_1, a_2, ..., a_m\right \rangle\in\mathbb{M}\Leftrightarrow \exists z \quad \forall y < z \quad \exists x_1, x_2,..., x_n\</tex>
<tex>\left \{ P(a_1, a_2, ..., a_m, x_1, x_2, ..., x_n)=0 \right \}</tex>
