User blog comment:GamesFan2000/Third part of my ordinal notation/@comment-34422464-20190211214855

You should probably try doing something OCF-y with uncountable ordinals.