Выдержка из книги
Мальцев А.И.
Избранные труды Математическая логика и общая теория алгебраических систем Том2
Как известно [2], из того, что понятие натурального числа в поле или кольце формульное, вытекает рекурсивная неразрешимость элементарной теории такого кольца.