User blog comment:Ubersketch/A proposal for a standard/@comment-35470197-20190811012241/@comment-35470197-20190813120838

> Anyways, how do you find an algorithm for finding orders of ordinals?

In order to create an ordinal notation, we usually use an actual OCF (not a fake OCF-like notation such as UNOCF) in the way explained here. We strictly need set theory.