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