Теорема Бореля об определенности
Теорема Бореля о детерминированности Определение и значение теоремы Бореля Теорема Бореля утверждает, что для любого множества A все борелевские подмножества […]
Вики
Theorems in the foundations of mathematics
Вики
Теорема Бореля об определенности
Теорема Бореля о детерминированности Определение и значение теоремы Бореля Теорема Бореля утверждает, что для любого множества A все борелевские подмножества
Вики
Категориальная теория
Категориальная теория Определение категоричности в математической логике Теория является категоричной, если имеет только одну модель с точностью до изоморфизма. В
Вики
Теорема об исключении разреза
Теорема о сокращении-исключении Теорема об исключении сокращений Доказана Герхардом Гентценом в 1934 году для систем LJ и LK. Утверждает, что
Вики
Теорема Чёрча–Россера
Теорема Черча–Россера Теорема Черча-Россера Утверждает, что каждое нормальное выражение в лямбда-исчислении может быть сведено к нормальной форме. Используется для доказательства
Вики
Ультрапродукт
Ультрапродуктовый продукт Определение ультрапродукта Ультрапродукт — это множество, состоящее из всех классов эквивалентности элементов в множестве. Элементы множества могут быть
Вики
Теорема об исключении разреза
Теорема об исключении сокращений Теорема об исключении сокращений Доказана Герхардом Гентценом в 1934 году для систем LJ и LK. Утверждает,
Вики
Теоремы Гёделя о неполноте
Теоремы Геделя о неполноте Теорема Геделя о неполноте Гедель показал, что любая эффективная система аксиом не может доказать свою собственную
Вики
Теорема об исключении разреза
Теорема о сокращении-исключении Теорема об исключении сокращений Доказана Герхардом Гентценом в 1934 году для систем LJ и LK. Утверждает, что
Вики
Теорема Гёделя о полноте
Теорема Геделя о полноте Теорема Геделя о полноте Теорема утверждает, что любая непротиворечивая теория первого порядка имеет модель. Доказательство теоремы
Вики
Теоремы Гёделя о неполноте
Теоремы Геделя о неполноте Теорема Геделя о неполноте Гедель показал, что любая эффективная система аксиом не может доказать свою собственную
Вики
Теорема о дедукции
Теорема о дедукции Теорема о дедукции — метатеорема, оправдывающая условные доказательства гипотезы в системах без явной аксиоматизации. Теорема дедукции существует
Вики
Теорема о продолжении Шпильрайна
Теорема о расширении Шпильрайна Теорема о расширении Шпильрайна утверждает, что каждый частичный порядок может быть расширен до полного порядка. Доказательство
Вики
Теорема о хорошем порядке
Теорема о правильном упорядочении Теорема о правильном порядке утверждает, что любой набор можно упорядочить, используя функцию выбора. Аксиома выбора является
Вики
Теорема об исключении разреза
Теорема о сокращении-исключении Теорема об исключении сокращений устанавливает значимость секвенциального исчисления. Она утверждает, что любое суждение с доказательством в последовательном
Вики
Ультрапродукт
Ультрапродуктовый продукт Ультрапродукты — обобщение понятия произведения множеств на ультрафильтры. Теорема Лосса утверждает, что формула первого порядка верна в ультрапродукте,
Вики
Категориальная теория
Категориальная теория Теория является категоричной, если имеет ровно одну модель с точностью до изоморфизма. В логике первого порядка только теории
Вики
Расширение новыми именами констант и функций
Расширение с помощью новых имен констант и функций Теория может быть расширена с помощью новых констант или имен функций при
Вики
Список установленных личностей и отношений
Список установленных идентификаторов и связей Статья представляет собой список математических тождеств и формул, связанных с операциями над множествами. Тождества и
Вики
Теорема компактности
Теорема о компактности Теорема компактности утверждает, что любая теория с конечными моделями имеет модели сколь угодно большой мощности. Применение теоремы