Итоги голосования для комментария:
Ahill_ Вот я бы посмотрел список минусовавших.

Сдаётся мне, что минусы (кроме пары пользователей, например Геометра, МК...) ставят по принципу «не понимаю но осуждаю».

Ибо избежать проблем с «СТГ о полноте» при написании механики для НРИ технически можно, но рука устанет.

Больше того сделать «систему без ошибок» (если это действительно модель) практически не возможно по чисто техническим соображениям.
Скажем код программ (куда более формализованный элемент, на тестирование которого тратится намного больше денег, чем НРИ-систем) содержит порядка 10 ошибок на 1000 строк кода (*).

* ЕМНИП мифический человеко-месяц.
Тут надо оговорится, что речь идёт о процедурном программировании, скажем в java-коде (при одинаковой квалификации программистов) ошибок может (и даже должно) быть меньше. Но не критически меньше, конечно.
+