In the Vinony graph
Within Vinony's link graph, Теорема Гёделя о компактности is referenced by 352 other articles, and connects out to first-order logic, structure and semantic theory of truth.
It is catalogued under topics including Mathematical logic, Metatheorems and Model theory.
Its subject is documented across 17 Wikipedia language editions.
Wikidata facts
- Instance of
- theorem
- Part of
- list of theorems
Show 2 more facts
- studied by
- topology
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Русский
Теорема Гёделя о компактности утверждает, что набор из предложений в логике первого порядка имеет модель, тогда и только тогда, когда каждое конечное подмножество предложений имеет модель. Эта теорема является важным инструментом в теории моделей, так как она обеспечивает удобный метод для построения моделей для бесконечного набора предложений. Теорема является следствием теоремы Тихонова о том, что произведение компактных пространств компактно.Кроме того, она является аналогом характеризации компактных пространств через свойство конечных пересечений.
Abstract from DBpedia / Wikipedia · CC BY-SA