Изменения
→Теорема о неразрешимости десятой проблемы Гильберта
{{Теорема
|statement=Существует перечислимое, но неразрешимое множество натуральных чисел<ref>[http://www.lirmm.fr/~ashen/part3.pdf Н. К. Верещагин, А. Шень, Вычислимые функции. {{---}} М. Издательство МЦНМО, 2008{{---}} с.22]</ref>.}}
{{Теорема
|author=DPRM-теорема
