Итоги голосования для комментария:
DarkArchon Кстати, правило ноль будет звучать так: «существует (мастерская) функция, которая ситуации А присваивает ситуацию В». Суть именно в том, что это и есть все описание — нет никакого алгоритма, который описывал бы, как именно из ситуации Х мы получаем ситуацию Y — у нас просто есть (мастерская) «аксиома выбора», которая гарантирует нам существование пути. Соответственно, чем больше у нас правил (конструктивных функций выше), тем меньше у нас ситуаций, в которых нету алгоритма и надо обращаться к неопределенной мастерской функции. В идеальной системе неопределенных ситуаций А нету — для каждой есть правило, не являющееся мастерским.
В словеске у нас нету никаких правил, кроме мастерских.
Я почти уверен, что до меня кто-то сделал нормальную математическую теорию этого.
+ -