Interested Article - Теорема о существовании модели
![](/images/007/200/7200074/1.jpg?rand=826348)
![](https://cdn.wafarin.com/avatars/6a6f9ac08513a095b191a1f0789b03ac.png)
- 2020-09-05
- 1
Теорема о существовании модели — утверждение логики первого порядка , согласно которому любое непротиворечивое множество формул произвольной сигнатуры имеет модель . Теорема Гёделя о полноте является естественным следствием этого утверждения .
Непротиворечивость множества формул сигнатуры — недоказуемость последовательности , где все члены принадлежат ; теорема утверждает о существовании модели для всякого такого множества.
Если бесконечное множество формул сигнатуры непротиворечиво, то имеет модель мощности, не превосходящей мощность множества .
Примечания
- , с. 139.
- , с. 140.
Литература
- Ершов Ю. Л. , Палютин Е. А. Математическая логика. — М. : Наука, 1987. — 336 с.
![](https://cdn.wafarin.com/avatars/6a6f9ac08513a095b191a1f0789b03ac.png)
- 2020-09-05
- 1