User blog comment:Rgetar/Way of making lists of ordinals/@comment-31663462-20171122021007

I, for one, would prefer to write out only some of these ordinals, and fill in the details with a couple of recursive or whatever rules. To explicitly write out all of these ordinals is not an enjoyable task for me.