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

м
Бот: исправљена преусмерења
м (референце)
м (Бот: исправљена преусмерења)
У [[математичка логика|математичкој логици]], '''теорема компактности''' гласи да скуп (може да буде и бесконачан) исказа [[логика првог реда|првог реда]] има [[теорија модела|модел]], [[ако и само ако|акко]] сваки његов коначан [[подскуп]] има модел. Постоји уопштење компактности за језике вишег реда (у односу на језик првог реда). У односу на теорије базиране на логикама које су строго јаче од логике првог реда, компактност се сматра исувише јаким својством.
 
Теорема компактности за [[исказни рачун]] је последица [[теорема Тихонова|теореме Тихонова]] (која гласи да је производ [[компактан простор|компактних простора]] компактан) примењене на компактне [[Стоунов простор|Стоунове просторе]];{{sfn|Truss|1997|pp=}} и отуда име теореме.
256.125

измена