Без заголовка

Я написал сразу же "не в целях построения моделера, а как альтернатива части 7 в целях проверки консистенстности". Те обсуждения по поводу ТК, которые Вы мне присылали, скорее в этом направлении идут. Это удобный математический способ проверки консистентности (и основное предназначение части 7 именно в этом).