К теории реализации сильных дифференциальных моделей. II

Формализованы категории словаря апостериорного математического моделирования динамических систем, позволяющих с общих позиций подходить к исследованию свойств существования сильных неопровержимых $(A,B)$-моделей, формулируя утверждения о таких свойствах с помощью единой системы понятий и терминов.