Изменения

Перейти к: навигация, поиск

Геделева нумерация. Арифметизация доказательств

125 байт добавлено, 23:13, 15 ноября 2016
Нет описания правки
[[Лекция 7 Арифметические функции и отношения. Их выразимость в формальной арифметике | <<]][[1я и 2я теоремы Геделя о неполноте арифметики | >>]]
[[Категория: Математическая логика]]
ExileHell
313
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/55895»

Навигация