Без заголовка
4.
****формальность появляется тогда, когда явно присутствуют минимум два уровня абстрактности описаний, и один уровень описывает другой уровень (то есть кроме модели есть ещё и метамодель, а иногда и мета-метамодель).
наличие метамодели не требуется