User blog comment:Rgetar/List of ordinals up to Bachmann-Howard ordinal/@comment-25337554-20171122094307

Some sort of ordinal rulers?