User blog comment:B1mb0w/Extended Normal Form/@comment-5529393-20160125080007/@comment-10262436-20160125085514

This blog only gives one example of how to construct an ordinal.

The uniqueness of the sequences is best explained in the Sandpit J_8 function. I have added more examples and logic on that blog.