1302
правки
Изменения
м
Нет описания правки
# Натуральный вывод. Секвенциальное исчисление предикатов. Устранение сечений.
# Интуиционизм. Интуиционистское исчисление высказываний. Модели Крипке.
# Теории 1го первого порядка, примеры. Структуры и модели.
# Аксиоматика Пеано. Формальная арифметика.
# Рекурсивные функции и отношения. Реализация операций сложения, умножения, ограниченного вычитания.
# Бета-функция Геделя. Представимость рекурсивных функций в формальной арифметике.
# Геделева нумерация. Выводимость и рекурсивные функции.
# Непротиворечивость и омега-непротиворечивость. 1я Первая теорема Геделя о неполноте арифметики.# 1я Первая теорема Геделя в форме Россера. 2я Вторая теорема Геделя о неполноте арифметики.
# Теория множеств. Парадоксы. Аксиоматика Цермело-Френкеля (равенство множеств, конструктивные аксиомы)
# Аксиоматика Цермело-Френкеля (аксиомы бесконечности, выбора, подстановки, фундирования).
