User blog comment:Rgetar/Simple way to create lists of ordinals/@comment-35392788-20181008074754/@comment-32213734-20181009132111

P進大好きbot, what does "α is enumerated in the i-th level" means? Maybe I misunderstand, but if it means "enumerate all α with i = 1 in increasing order, then all α with i = 2 in increasing order, and so on", then it does not work, since for limit β there are infinite many α with i = 1: for all α = β[m] i = 1. So, we'll enumerate only β[m], not all α < β.