Изменения

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

1я и 2я теоремы Геделя о неполноте арифметики

76 байт добавлено, 23:33, 14 января 2012

Нет описания правки

[[~~Лекция 8~~ Геделева нумерация. Арифметизация доказательств | <<]][[Теория множеств | >>]]

[[Категория: Математическая логика]]

39

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/16702»