User blog comment:P進大好きbot/Rathjen-type Ordinal Notation/@comment-11227630-20190823085852/@comment-35392788-20190823143109

Well, unless the notation simply fails at some point, difficulty to show well-foundedness through a mapping to ordinals indicates great strength in the notation.