Полнота и компактность

Теорема полноты связывает синтаксическую выводимость и семантическую истинность, а компактность позволяет работать с бесконечными теориями через конечные подсистемы. Это базис модели первого порядка.