ГОСТ Р ИСО 18629-1—2010
5.3.2 Проверка расширений
Проверку расширений проводят в целях определения того, что расширения соответствуют при
веденной в 5.3.1 спецификации моделей в технической документации.
Для каждого расширения, приведенного в комплексе стандартов ИСО 18629. сопровождающая
техническая документация должна содержать доказательства двух следующих теорем:
- каждая структура, входящая в набор структур исвязанная с конкретным расширением, является
моделью аксиом в данном расширении;
- каждая модель аксиом в конкретном расширении изоморфна какой-либо структуре, входящей
в набор структур, связанных с данным расширением.
14