Главная
Новости
Строительство
Ремонт
Дизайн и интерьер
Каркасный дом
Несущие конструкции
Металлические конструкции
Прочность дорог
Дорожные материалы
Стальные конструкции
Грунтовые основания
Опорные сооружения




01.02.2023


31.01.2023


31.01.2023


31.01.2023


30.01.2023


30.01.2023


30.01.2023





Яндекс.Метрика

Теорема о существовании модели

01.01.2023

Теорема о существовании модели — утверждение логики первого порядка, согласно которому любое непротиворечивое множество формул произвольной сигнатуры Σ {displaystyle Sigma } имеет модель. Теорема Гёделя о полноте является естественным следствием этого утверждения.

Непротиворечивость множества X {displaystyle X} формул сигнатуры Σ {displaystyle Sigma } — недоказуемость последовательности Γ ⊢ {displaystyle Gamma vdash } , где все члены Γ {displaystyle Gamma } принадлежат X {displaystyle X} ; теорема утверждает о существовании модели для всякого такого множества.

Если бесконечное множество X {displaystyle X} формул сигнатуры Σ {displaystyle Sigma } непротиворечиво, то X {displaystyle X} имеет модель u {displaystyle {mathfrak {u}}} мощности, не превосходящей мощность множества X {displaystyle X} .


Имя:*
E-Mail:
Комментарий: