Статья 344

Но на этот факт можно посмотреть с другой стороны, попытавшись использовать его как преимущество. Ведь в некотором смысле нам надо обеспечить необратимость каждого действия, значит, надо отказаться от принципа, надо отказаться от пустых действий, пустых выводов и запретить использовать выражение после того, как оно один раз использовано.
Вся эта система неформальных гипотез имеет и строгую математическую модель.
В математике известны ординальные числа, обобщающие понятие натурального числа.
Любая убывающая последовательность натуральных чисел за конечное число шагов достигает 0. То же свойство остается справедливым и для ординальных чисел.
Рассмотрим некоторое множество состояний системы и построим на его основе множество ситуаций, состоящее из пар - ординал, а интерпретируется как оценка ресурсов для действий, доступных в парах.

посмотреть

посмотреть

Для предикатов зададим в каждом значения истинности.