BrightOne
> для формальной системы все, для чего определены правила преобразования, - в общем, вполне законно

Так там проблема в том, что именно правило преобразования — а конкретно, перехода к гипотетическому "актуально бесконечному элементу" — как таковое не определено, он просто постулируется по принципу: а вот тут мы представим, что элементы нашего бесконечного множества вдруг закончились и остался только последний бесконечный.

Если ограничиваться только правилами преобразования (или, в более широком смысле, отображения) — остаётся только потенциальная бесконечность.

Ну или, как упомянуто выше, аксиоматически ограничить правила рекурсивных отображений — но всё равно это ограничение не будет напрямую следовать из самих правил.