История изменений
Исправление
stevejobs,
(текущая версия)
:
я же сморозил чушь) Например, очевидно что возможность бесконечных подстановок не означает настоящей бесконечности: в каждый фиксированный момент вычисления программы, система аксиом будет фиксированного размера. То есть, это даже не чушь, а скорей очередное капитанство
Исходная версия
stevejobs,
:
скорей всего я сморозил чушь) предполагалось, что ты на нее укажешь))