"Это как раз матлогика, подраздел «теория вычислений»" - не та матлогика. В смысле, есть формальные системы, а есть теория вычислений и есть "теорема" Чёрча-Тьюринга. Так вот, вы работаете "по одну сторону" от теоремы, а я - "по другую". А между тем, "теорема" не доказана и даже не сформулирована строго, если это вообще возможно. Я употребляю ресурсы математики, вы употребляете ресурсы программирования. Но меня интересует именно сделать это ресурсами формальной логики, а не теории вычислений!

"Use идентификатор рекурсивной операции" - ага, я привёл этот вариант. Может, не этот, но по ссылке пойду - нефиг спойлерить!