text: Свойство конечности моделей, или иначе полнота относительно конечных моделей: исследуется вопрос, всегда ли верно, что если концепт выполним (относительно TBox), то он выполним и на некоторой конечной модели (данного TBox).