User blog comment:Ubersketch/A question about ordinal notations/@comment-35392788-20190828173224/@comment-32697988-20190828202333

>The non-existence of an infinite descending sequence

Isn't that the requirement of a well-order?