Изменения

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

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

76 байт добавлено, 23:33, 14 января 2012
Нет описания правки
[[Лекция 8 Геделева нумерация. Арифметизация доказательств | <<]][[Теория множеств | >>]]
[[Категория: Математическая логика]]
39
правок

Навигация