User blog comment:MilkyWay90/Trying to create my own ordinal notation/@comment-30869823-20180704210111

You need to define lvl for ordinals. Be very carefull about how you define to limit case to avoid fixed points. If you do that sup{F(0),F(1),...} could be φ_ω(0)