Введены в теории моделей новые понятия компаньон, компаньон-теория и компаньон-класс на основе которых получены новые результаты нового раздела теории моделей. Построен концептуальный граф значительного логически замкнутого фрагмента Конституции Республики Казахстан с последующим преобразованием его в теорию исчисления предикатов и теорию аксиоматизируемую хорновыми предложениями.