Теорема о существовании модели — утверждение логики первого порядка, согласно которому любое непротиворечивое множество формул произвольной сигнатуры имеет модель. Теорема Гёделя о полноте является естественным следствием этого утверждения.
Непротиворечивость множества формул сигнатуры — недоказуемость последовательности , где все члены принадлежат ; теорема утверждает о существовании модели для всякого такого множества.
Если бесконечное множество формул сигнатуры непротиворечиво, то имеет модель мощности, не превосходящей мощность множества .
Примечания
Литература
Категория:Математическая логика существовании модели