Изменения
→Этапы доказательства неразрешимости десятой проблемы Гильберта
==Этапы доказательства неразрешимости десятой проблемы Гильберта==
{{Определение
|definition='''Диофантово уравнение''' (англ. ''diophantine equation'') имеет вид
<tex>P(x_1\ldots x_n)=0</tex>, где <tex>P</tex> {{---}} многочлен с целыми коэффициентами. <tex>(1)</tex>
}}
