313
правок
Изменения
Нет описания правки
[[Лекция 7 Арифметические функции и отношения. Их выразимость в формальной арифметике | <<]][[Лекция 9 1я и 2я теоремы Геделя о неполноте арифметики | >>]]
Ранее мы показали, что любое рекурсивное арифметическое отношение выразимо в формальной арифметике. Теперь мы покажем, что наоборот, любое выразимое в формальной арифметике отношение является рекурсивным.
