Content
4.3 Элементарные шаги
Для доказательства того, что любая согласованная система порождает корректный эксперимент (Теорема ...) весь переход от одной системы к другой разбивается на элементарные шаги (ЭШ) различного вида, для каждого из которых проводится отдельное доказательство.
