User blog comment:Ubersketch/An outline for a system./@comment-35470197-20190615223735/@comment-35470197-20190616220959

I meant the use of the universal Turing machine or Goedel numbering of codes of Turing machines. If you did not, how did you expect that it could reach the Church-Kleene ordinal?