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