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