Теорема компактности — разлика између измена

нема резимеа измене
м (reference)
У [[математичка логика|математичкој логици]], '''теорема компактности''' гласи да скуп (може да буде и бесконачан) исказа [[логика првог реда|првог реда]] има [[теорија модела|модел]], [[акко]] сваки његов коначан [[подскуп]] има модел. Постоји уопштење компактности за језике вишег реда (у односу на језик првог реда). У односу на теорије базиране на логикама које су строго јаче од логике првог реда, компактност се сматра исувише јаким својством.
 
Теорема компактности за [[исказни рачун]] је последица [[теорема Тихонова|теореме Тихонова]] (која гласи да је производ [[компактан простор|компактних простора]] компактан) примењене на компактне [[Стоунов простор|Стоунове просторе]];<ref>Види -{{sfn|Truss (|1997)|pp=}-.</ref>} и отуда име теореме.
 
== Примене ==